Q2: Fill in the blank: [4 Points 1. In logic statements, the phrase "there exists" is called a(n) 2. A(n)- proved quantifier is a statement that is assumed to be true and from which other statements can be classes are used to define generic collections in C++. 4. A method that can belong to more than one class is called a(n)