A Restriction on Recursion. (20th January 2018)