GAME a6 | theorem-style