propagates

not defined yet