Boolean logic has been all over the place in CCCS 610
— in each if-condition and
every while-loop. In this module, we revisit
that subset of formal logic and push the frontier of our
comfort zone a bit further to more expressive systems of
logic.