done pset4