We're going to keep all of that, except dropping the worlds. And instead of talking about
-> \[[expression]] in discourse possibility `(r, g, w)`
+> \[[expression]] in possibility `(r, g, w)`
we'll just talk about \[[expression]] and let that be a monadic object, implemented in part by a function that takes `(r, g)` as an argument.