It is not the case that The existence of a world-bound counterpart lacking P may reflect modal variation in the counterpart relation itself, not genuine contingency in a's possession of P.
?Set your confidence on the premises below to see your aggregate.