[P3226R0](https://wg21.link/p3226r0) Contracts for C++: Naming the "Louis semantic" (Timur Doumler)