[P2101R0](https://wg21.link/p2101r0) "Models" subsumes "satisfies" (Wording for US298 and US300) (Tim Song, Casey Carter)