constructionally

not defined yet