zippering: computes t0,t3