Redirecting to Transfinite induction