Tits compilation / Page 42