nondeviously
not defined yet