demonstrability

not defined yet