axiom AA4 states:
there exists h,g in H s.t. h>g
This is equivalent to:
There exists i s.t. i is not null.