Redirecting to Recursively enumerable set