nonerrant
not defined yet