I agree, it doesn’t make much sense in this context (it does for SemiRegular), but it’s finally an example that is not easier to express without a nested requirement than with.
https://www.sandordargo.com/blog/2021/03/17/write-your-own-cpp-concepts-part-ii

