 This asserts: for any object \(y\), \(y\) falls under the concept \([\lambda x \, \phi]\) if and only if \(y\) is such that \(\phi^y_x\). So, using our example, the following is an instance of \(\lambda\)-conversion: