Или в алгоритмы лямбда-унификации и гомотопические пруверы. Есть масса способов развеять интеллектуальную скуку, помимо того чтобы просто сжигать нервные клетки веществами, асфиксией и пытаться вычитать тайные знания о человеке и мире из накорябанной средневековой, или косящей под средневековую, хуеты.