induced functions for recursion