 Secondly, HP involves two predicates, F and G. It does so in order to state an important criterion of identity for numbers denoted, respectively, as #xFx and as #xGx. Note that both terms in the identity-statement on the left-hand side are abstractive terms. 