Correct non-observation sign

ཁྱོད་དེ་སྒྲུབ་ཀྱི་རྟགས་ཡང་དག་གང་ཞིག ཁྱོད་ཀྱི་རྟགས་ཀྱིས་དེ་སྒྲུབ་ཀྱི་དངོས་ཀྱི་སྒྲུབ་བྱའི་ཆོས་སུ་བཟུང་བྱ་ཡང་ཡིན།
དགག་པ་ཡང་ཡིན་པའི་གཞི་མཐུན་སྲིད་པ་དེ། ཁྱོད་དེ་སྒྲུབ་ཀྱི་མ་དམིགས་པའི་རྟགས་ཡང་དག་གི་མཚན་ཉིད།
Definition of x being the correct non-observation sign in the proof of that:

1. x is the correct sign in the proof of that;
2. there is a possible common locus between:
   1. being that apprehended as the explicit predicate in the proof of that by the sign of x; and
   2. being a negation.

Divisions:

1. Correct sign of non-observation of the non-appearing
   མི་སྣང་བ་མ་དམིགས་པའི་རྟགས་ཡང་དག
2. Correct sign of non-observation of that suitable to appear
   སྣང་རུང་མ་དམིགས་པའི་རྟགས་ཡང་དག

Up a level: Correct sign