LogicLab user manual