overlap constraint + adding comments for constraints