All variables we introduce which is not parameters are in fact global variables that may be overwritten by recursive invocation!
All variables we introduce which is not parameters are in fact global variables that may be overwritten by recursive invocation!