What the axioms already force

Uniqueness of the identity and of inverses, cancellation, the reversing rule for the inverse of a product, and why the left-hand and right-hand versions of each are different statements.

About 25 minutes7 activities Paper packet