Satisfied when T is the same as all of Rest.... More...
T
Rest...
Satisfied when T is the same as all of Rest....