 HP tells us that the numbers #xFx and #xGx will be identical if and only if the predicate-extensions that they respectively number are in one-one correspondence (under some two-place relation R). Another way of expressing this latter condition is to say that F and G are equinumerous. 