Update Spec3.md