generated at
necessary condition