Tier V — Baccalaureate

Existential Instantiation

The name must be new to the proof, and a system without that restriction proves falsehoods