Necessary condition