“ ( ∃ x , y ) : a R x . x R y . y R b ”, etc.

288