De mit kezdjek azzal, ha úgyis tudom, hogy még a matematikusok többsége sem találkozik a normál munkája során nemdisztributív logikával (erről az Isabelle logikai keretrendszernél van szó), de mégis hozzátartozik az informatikai forradalomhoz nélkülözhetetlen kvantummechanikához, és az Isabelle ezt az ember számára nem természetes logikát képes konzekvensen alkalmazni. Mellesleg forrásként mit írjak, hogy a Henkin  Monk  Tarski  Németi kvartett negyedik tagjával többórás séta a Logodi utca környékén?