[P1812R0](https://wg21.link/p1812r0) Axioms should be assumable: a minimal fix for contracts (Timur Doumler, Ville Voutilainen)