to advise on logical disjunction vis-a-vis the Boolean operator in the referendum’s Irish wording. And maybe, in the end, the only lawyer-proof approach will be to insert a Venn couples-diagram ...

Venn used his diagrams to illustrate and explore such “symbolic logic” – defending and extending it. Symbolic logic underpins modern computing, and Boolean logic is a key part of the design ...