some induction
recursion for function finder.