Initial Commit
Numbered requirements, completed up to 9. Does not compile due to syntax errors. Must figure out how to create a set
static model now compiles, and should be correct as no counterexamples can be found
Completed static model, awaiting testing
fixed spacing
Merge pull request #1 from MarkyC/Marco

Marco's amendments merged
Merge pull request #2 from MarkyC/master

Merge into Pathmaraj