Wrapping in derivation, single-component rules for condition length-invariance.