Pi_Calculus.Early_Tau_Chain