implement allperms to get rid of some unneeded axioms
#970
+5
−11
Loading