nondivergencies
not defined yet