Should be "next resolution" instead of "next constraint" here.