Signed-off-by: Jim Pryor <profjim@jimpryor.net>
Finally, we realize that we're going to have a set of `bool dpm`s to start with, and we need to compose \[[Qx]] with them. We don't want any of the monadic values in the set that wrap `false` to become `true`; instead, we want to apply a filter that checks whether values that formerly wrapped `true` should still continue to do so.
- This is most easily done like this:
+ This could be handled like this:
fun entity_dpm ->
let eliminate_non_Qxs = fun truth_value ->