Redirecting to NP (complexity)