propagations

For definition of propagations, please visit here.