Find!
quantified selbri: converts enough to cardinal; x1 is a set with members x2, enough by std. x3.