◉ ⊣ ⊢ ◉