propagated

not defined yet