Redirecting to Vopěnka's principle