Roughly speaking, we require that the left-hand sides of N are small enough to completely process righthand sides of M .
a comparison of left-and right-hand sides is complicated by the fact that their shape is different (left-hand sides have a state at the root, whereas right-hand sides have states in front of the variables).