nondivergency

not defined yet