1Recall that h is length-regular if |h(x)| = |h(y)| whenever |x| = |y|.