act = cat ⇒ ac = ca.