Problem set 1 posted