Tour:Verifying the group axioms