Redirecting to Induction (logique)