axiom.lits