add hw4 spec