Existential Introduction (EI)
11/3/07
Existential Introduction