. . . . "pretty clear - If X is a set and P is a condition on sets, there exists a" .