added differential axioms, modified basic axioms