generated at
sufficient condition