 In other words, an expression seeming to attribute the property \(\phi\) to a class \(\{x \mid \psi (x) \}\) is true if and only if there is some predicative property \(\chi\), which is co-extensive with \(\psi\), which really has the property \(\phi\).