GEB, стр. 177
Правило фантазии — фабрикует теоремы "из воздуха".
Возьмите любую строчку x. Спросите: "Что если бы x была теоремой?"
Выведите из x строчку y.
Результат: <x⊃y> — настоящая теорема!
🌀 [ — вход в фантазию (push)
] — выход из фантазии (pop)