Venn used the diagrams to prove a form of logical statement known as a categorical syllogism. This can be used to model reasoning. Here’s an example: “All computers need power.

1) “Clean break”: In this scenario, also called a “hard Brexit,” the UK just leaves the EU without negotiating any sort of alternative arrangements in place.