existential requantification

[lagleki]

Describe the current content

Section 16.14:
A variable may have a quantifier placed in front of it even though it has already been quantified
explicitly or implicitly by a previous appearance,,,

Proposed content
A clear and concise description of what you expected to have in the book.