https://www.lisaclarke.net/2022/07/23/twip-montague/
TWiP: Montague