almost right. If you swap enforced for evaluated, then it would be more correct.