constructible

not defined yet