generated at
necessary and sufficient condition