{ϕ; ¬ϕ} ⊢ ψ

{ϕ; ¬ϕ} ⊢ ψ

tags: 22,

from: https://www.tumblr.com/blog/view/chatfleur/685683260462891008