Refine calculus1.