A provision that causes contract terms to revert as if tokens never left the starting point, if any contract condition is not met. An important feature of a smart contract.