transitively

not defined yet