propagations

not defined yet