axiom QP1 states:

"=>" a weak order