Manual update. Added the modification in the IM Calculus