We should check out http://andreacensi.github.io/contracts/
We should check out http://andreacensi.github.io/contracts/