Redirecting to Temporal logic