axiom 8, 9 added