niścayāropamanasor bādhyabādhakabhāvataḥ / samāropaviveke hi niścayo vartate 'khilaḥ //
Due to the relation of sublated and sublating between certainty and superimposition, when superimposition is excluded, certainty indeed remains complete.