axiom rules angle gens