hw1: refine specs