Redirecting to Linear temporal logic