Partial work on the Spec
Merge branch 'master' of https://github.com/cs27x/team4