co-recursion in approximation