fricas
disable axiom