An LSR Transformation must have a Local 4X4, an ordered set of LSR Transformation Steps, or both. If an LSR Transformation has no Local 4X4 and no LSR Transformation Steps, then the LSR Transformation is invalid. If an LSR Transformation has both a Local 4X4 and a set of LSR Transformation Steps, then the ordered set of LSR Transformation Steps must be mathematically equivalent to the Local 4X4; if not, the LSR Transformation is invalid.
An LSR Transformation has 2 possible representations: as a Local 4X4, or as an ordered set of LSR Transformation Steps. If the LSR Transformation uses both, then the Local 4X4 and the LSR Transformation Steps are alternate representations of the same transformation, so they must be mathematically equivalent. If the LSR Transformation uses neither representation, then no transform is present, which means the LSR Transformation should not exist.