Find!
quantified selbri: converts all-but-(1) to ordinal selbri; x1 is penultimate among x2 by rule x3.