transitival

not defined yet