Pi_Calculus.Early_Semantics