Excelente el uso del constraint min para seq!