Self-application in arithmetic

• Consider “Subst( Subst(x,x), Subst(x, x) )”
• Do the arithmetic:
• In first argument“Subst(x,x)”
• replace “x” by the second argument “Subst(x, x)”
• “Subst(Subst(x, x), Subst(x, x))”