lambda(Z,'$apply'(lambda(X,lambda(Z,X)),f(Z,a)))=b.
exists(X,p(X)).  % to make it a truly first-order example
a=d.