Redirecting to Vaught conjecture