(12 points) Problem 2.3.2 Suppose that for any unary predicate P on a particular type T , you know that the proposition (3x : P(x)) (Vx: P(x)) is true. What does this tell you about T? Justify your answer state a property of T and explain why this proposition is always true if T has your property, and not always true if T does not have your property.