axiom mission 4 (ax-4)