populated axiom setters