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