add hw3 spec