Added convenience class for axioms.