{{subst:Xn+1,Xn.a}}{{subst:!}} {{subst:#expr:{{{2}}}+{{{1}}}}} {{subst:!}} {{{1}}} {{subst:Xn+1,Xn.c}}