Iteration 2.1 paused
a small spec change
contract model and specs
contracts and specs
Finish implementing contract functionality
small change