nonresolvabness

not defined yet