Groups Reasoning