lambda1@tg
says to
YSITD
Find distinct t_1, t_2 such that r(t_1) = r(t_2)