φ(x)(y)ψ = (x)φψ(y) = (x)R(y) = xRy