 The second stage in Schönfinkel’s extension of FOL is slightly different. \(UXY\) is definable in FOL only for one-place predicates \(P\) and \(Q\) (or for predicates of higher arity when the variable in their last argument is bound). Thus, in general, neither \(U\) nor the combinators are definable in FOL.