Reddit Jacques Tits