began considering recursion in relations