quick fix for test
Merge branch 'display_of_axioms' into develop