list correct constraints