Forward pervasion (Jetsunpa)

རང་ཉིད་སྒྲ་མི་རྟག་པར་སྒྲུབ་པ་ལ་རྟགས་ཚུལ་གཉིས་པར་སོང་བའི་གང་ཟག་དེས། རང་ཉིད་སྒྲ་མི་རྟག་པར་སྒྲུབ་པའི་མཐུན་ཕྱོགས་ཁོ་ན་ལ་ཡོད་པར་ཚད་མས་ངེས་པ།
རང་ཉིད་སྒྲ་མི་རྟག་པར་སྒྲུབ་པའི་རྗེས་ཁྱབ་ཡིན་པའི་མཚན་ཉིད།
Definition of being the forward pervasion in the proof that sound is impermanent:
That ascertained by valid cognition as existing only in the concordant class in the proof that sound is impermanent by the person for whom it holds as the second mode of the sign in the proof that sound is impermanent.

རྗེས་ཁྱབ་ཀྱི་མཚན་ཉིད་འཆད་པའི་ཚིག་ཟུར་དུ་ཡོད་པ་སྨོས་པ་ཆོས་ཅན། དགོས་པ་ཡོད་དེ། བྱས་པ་སྒྲ་མི་རྟག་པར་སྒྲུབ་པའི་འགལ་རྟགས་ཡིན་པ་གཅད་པར་བྱ་བའི་ཆེད་ཡིན་པའི་ཕྱིར།
The subject – stating “existent” as part of the explained definition of forward pervasion – there is a purpose because it is in order to exclude “product” from being a contradictory sign in the proof that sound is impermanent.

དེ་ལ་བརྟེན་ནས་དེ་གཅོད་ནུས་ཏེ། དེ་སྒྲུབ་ཀྱི་འགལ་རྟགས་ཡིན་ན། དེ་སྒྲུབ་ཀྱི་མཐུན་ཕྱོགས་ལ་མེད་དགོས་པའི་ཕྱིར།
That can be eliminated in dependence upon that because if it is a contradictory sign in the proof of that, then it is necessarily non-existent in the concordant class in the proof of that.

དེའི་མཚན་ཉིད་འཆད་པའི་ཚིག་ཟུར་དུ་ཉིད་སྨོས་པ་ཆོས་ཅན། དགོས་པ་ཡོད་དེ། བྱས་པ་སྒྲ་མི་རྟག་པར་སྒྲུབ་པའི་དངོས་ཀྱི་མ་ངེས་པའི་གཏན་ཚིགས་ཡིན་པ་གཅད་པར་བྱ་བའི་ཆེད་ཡིན་པའི་ཕྱིར།
The subject – stating “only” as part of the explained definition of that – there is a purpose because it is in order to exclude “product” from being an actual indefinite reason in the proof that sound is impermanent.

དེ་ལ་བརྟེན་ནས་དེ་གཅོད་ནུས་ཏེ་དེ་སྒྲུབ་ཀྱི་དངོས་ཀྱི་མ་ངེས་པའི་གཏན་ཚིགས་ཡིན་ན། དེ་སྒྲུབ་ཀྱི་མཐུན་ཕྱོགས་ཁོ་ན་ལ་མེད་དགོས་པའི་ཕྱིར་ཏེ། སྒྲ་མི་རྟག་པར་སྒྲུབ་པའི་དངོས་ཀྱི་མ་ངེས་པའི་གཏན་ཚིགས་ཡིན་ན། སྒྲ་མི་རྟག་པར་སྒྲུབ་པའི་མཐུན་ཕྱོགས་མི་མཐུན་ཕྱོགས་གཉིས་ཀ་ལ་ཡོད་དགོས་པའི་ཕྱིར།
That can be eliminated in dependence upon that because if it is an actual indefinite reason in the proof of that, then it necessarily does not exist only in the concordant class in the proof of that; because if it is an actual indefinite reason in the proof that sound is impermanent, then it is necessarily existent in both the concordant and discordant classes in the proof that sound is impermanent.

དེའི་མཚན་ཉིད་འཆད་པའི་ཚིག་ཟུར་དུ་ཉིད་ཡོད་པའི་ཕྱིས་མ་སྨོས་པར་སྔར་སྨོས་པ་ལ་དགོས་པ་ཡོད་དེ། རྩོལ་བྱུང་དུང་སྒྲ་མི་རྟག་པར་སྒྲུབ་པའི་རྗེས་ཁྱབ་ཏུ་བསྟན་པའི་ཆེད་ཡིན་པའི་ཕྱིར།
There is a purpose for not stating “only/categorically” after “existent” but rather stating it before as part of the explained definition of that because it is in order to indicate that “arisen from effort” is the forward pervasion in the proof that the sound of a conch is impermanent.

དེའི་མཚན་ཉིད་འཆད་པའི་ཚིག་ཟུར་དུ་ཉིད་ཡོད་པའི་སྔར་མ་སྨོས་པར་ཕྱིས་སྨོས་ན། རྩོལ་བྱུང་དུང་སྒྲ་མི་རྟག་པར་སྒྲུབ་པའི་རྗེས་ཁྱབ་མིན་ནམ་སྙམ་པའི་ལོག་རྟོག་སྐྱེ་བར་འགྱུར་ཏེ། དེ་ལྟར་སྨོས་ན། དེ་སྒྲུབ་ཀྱི་རྗེས་ཁྱབ་ཡིན་ན། དེ་སྒྲུབ་ཀྱི་མཐུན་ཕྱོགས་མཐའ་དག་ལ་ཡོད་དགོས་སམ་སྙམ་པའི་དོགས་པ་སྐྱེ་བའི་ཕྱིར།
If “only/categorically” is not stated before “existent” but rather is stated after as part of the explained definition of that, then a wrong conception thinking “Maybe ‘arisen from effort’ is not the forward pervasion in the proof that the sound of a conch is impermanent” will arise because if it is stated as such, then a doubt thinking “If it is the forward pervasion in the proof of that, is it necessarily existent in the entirety of the concordant class in the proof of that?” will arise.

ངེས་པ་སྨོས་པ་ལ་དགོས་པ་ཡོད་དེ། ངག་སྨྲའི་རྟགས་ཀྱིས་ངག་སྨྲའི་སྐྱེས་བུ་ཕ་རོལ་པོ་ཆགས་བྲལ་དུ་སྒྲུབ་པ་བཞིན་དུ། བྱས་པ་སྒྲ་མི་རྟག་པར་བསྒྲུབ་པ་ལ་ཕྱོགས་ཆོས་ཅན་དུ་སོང་བའི་རྒོལ་བ་དེ། བྱས་པ་སྒྲ་མི་རྟག་པར་སྒྲུབ་པའི་མཐུན་ཕྱོགས་ལ་ཡོད་མེད་ཐེ་ཚོམ་ཟ་བ་བཅད་པའི་ཆེད་ཡིན་པའི་ཕྱིར།
There is a purpose for stating “ascertained” because it is in order to eliminate [the case where] the debater for whom “product” holds as the property of the position in the proof that sound is impermanent doubts whether or not product exists in the concordant class in the proof that sound is impermanent, just like the proof that the being opposite who speaks is free from attachment using the sign “speaking”.

Up a level: Three modes in Pramanavartika (Jetsunpa) / Three Modes