23.9.14.
φ(a), ψ(b), aRb; (∃x y): φx . ψy . xRy
aRb . φa . ψb ≝ (φ,ψ) (aRb) = Ω(x)