Long.4.u - axiom