For all logical operations are already contained in the elementary proposition. For “ f ⁡ a ” says the same as “ ( ∃ x ) . f ⁡ x . x = a ”.

Where there is composition, there is argument and function, and where these are, all logical constants already are.