constructive

not defined yet