let of_axioms j = j