And if the proposition “ only one x satisfies f ⁡ ( ) ” reads: “ ( ∃ x ) . f ⁡ x : ~ ( ∃ x ,

478