I think there should be (t0,t1;s0,s1)?
I think there should be (t0,t1;s0,s1)?