The method of forcing. - Tatch Moore, Justin (Topology & Its Applications, 2026)