nonconviviality

not defined yet