Chiarimenti sulle nuove funzionalita’ di LogicLab4