heyting-algebra public under bounded-lattice 2, distributive-lattice 2 List Picture As a command %3 n0 heyting-algebra n3 boolean-algebra n0->n3 n1 bounded-lattice n1->n0 n2 distributive-lattice n2->n0