By ND (the necessity of distinctness/identity principle), it follows that A, A', B, and B' are all d...