Some equational theories (e.g., for dense linear orders) do entail infinitude despite Birkhoff's str...
This proposition has not been edited since the history system was added.