intuitionistic-logic public under mathematical-logic 12 List Picture As a command %3 n0 intuitionistic-logic n1 mathematical-logic n1->n0