transitivities

not defined yet