SMS dit: Understanding computer contracts.