Find!
quantifier selbri: convert all but one to cardinal selbri; x1 is a set with all but one members x2.