[ballpug]

gtk-daemons in Gödel's incompleteness theorem, where Löb functor cell value differ from readiness-to-hand and presence-at-hand.