tried alternative axioms in exponential module