transitivity

not defined yet