generated and first constraints