add the functions for axioms boxes (not functional)