CS hw5 and more formulas apparently