Hw4 Spec done