shorten Propagation code