Clarified the comparison for Constraints::required