( ∃ x ) . f ⁡ x ”] differs from previous methods by the fact that the generality comes only in specifying the set of propositions concerned, and when this has been done the building up of truth-functions proceeds exactly as it would in the case of a finite number of enumerated arguments p , q , r , … .