Pi_Calculus.Strong_Late_Sim_Pres