In each case below, write a quantified statement, using the formal notation discussed in the chapter, that expresses the given statement. In both cases the set A is assumed to be a subset of the domain, not necessarily the entire domain.

a. There are at least two distinct elements in the set A satisfying the condition P (i.e., for which the proposition P(x) holds).

b. There is exactly one element x in the set A satisfying the condition P.