) ( = [ η ‾ , ξ ‾ , N ⁡ ( ξ ‾ ) ] ) .

This is the most general form of transition from one proposition to another.