nondiverging
not defined yet