demonstrable

not defined yet