nonconstructiveness

not defined yet