Contracts seem to work with SimCity example