Quasi finito di sistemare la notazione