nondivergence

not defined yet