Adding some primitive EC axioms.