ekadeśāvaraṇe sarvāvaraṇaprasaṅgaś ca bādhakaṃ pramāṇaṃ, na hy ekasyāvṛtatvam anāvṛttatvaṃ ceti yugapad viruddhadharmasaṃsargo yuktaḥ //
The consequence that if one part is covered, all would be covered serves as a refuting proof, for it is not reasonable that one [and the same thing] should simultaneously possess the contradictory properties of being covered and uncovered.