boolean-algebra public under heyting-algebra 1 List Picture As a command %3 n0 boolean-algebra n1 heyting-algebra n1->n0