demonstratable

not defined yet