nonresolvableness

not defined yet