then ar (ABP) ≠ ar (ACP).