Wise Contracts: Smart Contracts that Work for People and Machines