heyting-algebra public under bounded-lattice 2, distributive-lattice 2 List Picture As a command boolean-algebra