Maybe just a little bit of it. Right now there are only examples of mathematical equalities. It needs pointing out that it all boils down to `true` or `false` ... and from there you want to jump to the control logic