undiverging

not defined yet