A.u[2]=v[1]∧t[1]=u[1]∧t[2]=v[2] B.u[2]=v[1]∧t[1]=u[1]∧t[2]=v[1] C.u[1]=v[1]∧t[1]=u[1]∧t[2]=v[2] D.u[1]=v[1]∧t[1]=u[1]∧t[2]=v[1]