let axioms_of j = j