nondemonstrability

not defined yet