Existential Elimination (EE)

11/3/07

Existential Elimination