Counterpart relations are not identity relations, so b's lacking P tells us nothing about whether a ...