[P3734R0](https://wg21.link/p3734r0) Not all predicates must be regular (Jan Schultke)
P3734R0 Not all predicates must be regular (Jan Schultke)