Redirecting to Interval temporal logic