* The primary algebra (Chapter 6 of LoF), whose models include the two-element Boolean algebra (hereinafter abbreviated 2), Boolean logic, and the classical propositional calculus;
* Equations of the second degree (Chapter 11), whose interpretations include finite automata