[Fokkinga-mutual-recursion-thm.png]