Thus far, we have canvassed Frege's argument that, if sentences containing numerical singular terms are true, then those terms refer to numbers. The last step in the argument—that the objects referred to by numerical singular terms satisfy the sortal concept of number—invoked the following identity criterion for numbers: