axiom P5: There exists x">"y