Universal Algebra and Logic Introduction
J. B. Nation's counterexample to the finite height conjecture