SR cluster with a CA

Actually the way to look at it is

If A=B and B=C THEN A=C

commutative property yes