adding more axiom generator classes