nontransitiveness

not defined yet