2. Однажды Бобрик пришёл к старому БоброМудру и спросил:

-- Учитель! А если бы появилась теория типов ещё более сложная, чем HoTT и CoC, вы бы смогли и её реализовать?

-- Без проблем, - ответил БоброМудр.

-- Но как?? - изумился Бобрик.

-- А вот так! - ответил БоброМудр, и дал Бобрику подзатыльник.