Actually finished with pset 4