> In fact, I believe overlays are also commutative.

No. But "nice" overlays probably should have this property, since commutativity means orthogonality.