Writing about GACGs...
Switched to the report class, start using theorem envs