Add assignment 7 spec