Better definition of recursion