(~∅_⊥∅)
(~∅_⊥∅)

(~∅_⊥∅)