A Short Introduction to Lemax