 The upādhi (\(U\)) has a negative character, serving, at least in the first place, to undermine a putative inferential conclusion by showing that the pervasion—all \(H\) as \(S\), a prover (\(H\)) as pervaded by a probandum (\(S\))—on which it depends does not hold. But an upādhi may also serve as positive restorer of knowledge in that when it occurs together with an original prover (\(H\)) that it undercuts (thus \(H \ \&amp;\ U\)), the inferential conclusion is reestablished.