 On the one hand, HP is, to be sure, a necessary condition on number. It must be satisfied by any licit interpretation of the abstraction operator #. HP is not, however, sufficient to ensure that the things denoted by terms of the form #xFx really are numbers! 