nondemonstratively

not defined yet