constructiveness

not defined yet