2.4.4 Recursion with Localities