axiom free code (axiom4)