ζU { IΆ | gδ η γU c P | yc γΔε ζU iOj‘μ zΏAgδ η γU i{jc PAyc γΔεiρjPΖ N
ζU { IΆ | gδ η γU kΨ z | ¬ IΆ ζU i{jΞΨ ElAiOj‘μ zΏiρj{ IΆ γU iρjμ εo
ζU ΄ υF | ΐ cξ γU c P | yc γΔε ζU iOjΨ υχ γU