Axiom AA1 is:
"=>" a weak order on H.