Finished propagation code; started integrating into UPDATE.