nondemonstration

not defined yet