Text this: An Introduction to Lorenzen's 'Algebraic and Logistic Investigations on Free Lattices' (1951).