x for which f ⁡ x is true” which is represented by “ ( ∃ x ) . f ⁡ x ”. If we had started with not- f ⁡ x instead of f ⁡ x we should have arrived at the proposition “ f