Proposing taxon swap from P. cyaneus to P. minutus per WoRMS current taxonomy. All comments from crab experts welcome as I'm certainly not up on the latest literature. Exact same situation as P. major, where both names have now been synonymised.
Identification
ID 2 of taxon E will be an unintended disagreement with ID 1 of taxon B after the taxon swap
If thinning a parent results in more than 10 unintended disagreements, you
should split the parent after swapping the child to replace existing IDs
of the parent (B) with IDs that don't disagree.
Have discussed this issue with Shane Ahyong (Australian Museum crustacean curator) and he confirmed the change.