Describir: Understanding computer contracts.