Corrette alcune logiche di calcolo