Ok, I understand all of this except for the 'x while.' I understand that x is a repetition operator but I've always seen it written like: '"a" x 80.' However here, there is nothing on the left hand side. Could you explain what it does? I'm guessing it repeats the substitution so that it can find the nested cases but I'd be interested in knowing how it works.