LogicLab environment