lambda1@tg
says to
YSITD
if r(t_1) != r(t_2), then r will not intersect itself at t=t_1