Make some theorems abstract.
Embrace the new Group.