non-star KA axioms