nondemonstrative

not defined yet