supponiamo che stiamo per scoprire cosa succede quando mNAV< 1