nonexchangeability

not defined yet