 In summary, it may be said that connexive logic, although it is contra-classical and unusual in various respects, is not just a formal game or gimmick. There are several kinds of systems of connexive logics with different kinds of semantics and proof systems, and in the 21st century the subject has been experiencing a renaissance. The intuitions captured by systems of connexive logic can be traced back to ancient roots, and applications of connexive logics range from Aristotle’s syllogistic to Categorial Grammar, the study of causal implications, and connexive mathematics. A monograph developing a system of connexive logic in the context of solving a broad range of paradoxes is Angell 2002.