Redirecting to Segal conjecture