nonvexatiousness
not defined yet