Redirecting to Kleene fixpoint theorem