unconstructively

not defined yet