Existential elimination

1. REDIRECT Existential_instantiation {{Redirect category shell|

{{R from alternative name}}

}}