Universal Algebra and Logic Introduction

J. B. Nation's counterexample to the finite height conjecture