Added change propagation and timestemps to destpassing.