nondeferentially
not defined yet