nonresolution

not defined yet