∟⊥⊢⊤⊣⊢⊧⊩⊨