TS pred logic