I like the algebraic point of view as a way of spotting essential patterns like this :) The essential missing step here is to point out that conjunction is mult

I like the algebraic point of view as a way of spotting essential patterns like this :) The essential missing step here is to point out that conjunction is multiplicative, not additive, and this is why `all` gives the unit under conjunction, rather than the unit under disjunction. Corresponding to `sum` is `any`, which gives the unit under disjunction for the empty list, since disjunction is additive. That said, I do think there is something to the perspective presented in the article. Something which is not accidental to the algebraization of logic...