Taking the point of view that the binary domain $\mathbb{B} = \lbrace 0, 1 \rbrace$ is more general than the real domain $\mathbb{R}$, and cranking (if you'll excuse the expression) all the analogies in sight, we find ourselves in the wonderland of Differential Logic, where plus and minus are the same operation, playing the devil with our usual suspicions about the diff between differential and integral calculus. So there is $\exists\sum\operatorname{fun}$ to be had with that.
Taking the point of view that the binary domain $\mathbb{B} = \lbrace 0, 1 \rbrace$ is more general than the real domain $\mathbb{R}$, and cranking (if you'll excuse the expression) all the analogies in sight, we find ourselves in the wonderland of Differential Logic, where plus and minus are the same operation, playing the devil with our usual suspicions about the diff between differential and integral calculus. So there is $\exists\sum\operatorname{fun}$ to be had with that.
Taking the point of view that the binary domain $\mathbb{B} = \lbrace 0, 1 \rbrace$ is more general than the real domain $\mathbb{R}$, and cranking (if you'll excuse the expression) all the analogies in sight, we find ourselves in the wonderland of Differential Logic, where plus and minus are the same operation, playing the devil with our usual suspicions about the diff between differential and integral calculus. So there is $\exists\sum\operatorname{fun}$ to be had with that.