The Lagerman typotheter andjustifier