3 ms·For the avoidance of doubt: Andrej Bauer is himself very much one of those crazy HoTT people.by mjw1007 5y agoFor the avoidance of doubt: Andrej Bauer is himself very much one of those crazy HoTT people.