Render the substitution and the stack