Group A is enirely based on axiom A and group B is entirely based on axiom B. Due to "history and stuff" group B has axiom A as completely disallowed, and group A has axiom B completely disallowed. Funny that, or perhaps not. Anyway how does group A and group B live together so that the most people (maybe everyone?) possible get along? #