6.01 The general form of the operation Ω’ (η)is therefore: [ξ, N (ξ)]’(`η) ( = [`η, `ξ, N(`η)]).

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

OK.