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