CSoPL: hw1: div formulas, add/sub explanation