∀ Intro

∀ Elim