 One might argue that this is true in virtue of the very meaning of the \(\lambda\)-expression, the meaning of \(\equiv\), and the meaning of the statement \([\lambda x\, \phi]y\) (which has the form \( Fx)\). However, \(\lambda\)-Conversion also implies the Comprehension Principle for Concepts, for the latter follows from the former by existential generalization: 