Tits compilation / Seite 40