nonconstructive

not defined yet