Ti>Tj → Prio(i)<Prior(j)