I'm wondering whether that example still makes sense. The constraint definition looks basically like the one in the previous example, as the difference really lies in the validator implementation now.