% Figure 2 in the 0DOCS.tex file declare fun {AddToEach A#B Ls} case Ls of (X#Y)|T then ({Plus A X}#{Plus B Y})|{AddToEach A#B T} else nil end end