  Frege then took his analysis one step further. He noticed that each of the conditions in the following sequence of conditions defined a class of ‘equinumerous’ concepts, where ‘F’ in each case is a variable ranging over concepts: