refinement of axiom11