Mutual Resolution can be Programmed into a Smart Contract