
─────
Γ ⊢ ◇

Empty


Γ ⊢ ◇
x ∉ dom(Γ)
──────────
Γ, x ⊢ ◇

Extension