nondemonstrable

not defined yet