demonstratability

not defined yet