Use "general recursion"