Terminal Existence