There is no problem with having corrections, but have you seen the corrections of $sol like this, it's absurd man