constructibility

not defined yet