∃ Intro

∃ Elim