This is an excellent analysis. The left and right operate on different rules and have not merely inverse, but totally orthogonal wincons.