proof sketch of divergence preservation using clock