Agreed, but I don&#x27;t think we can do that without having transactional boundaries. When a transaction fails, it doesn&#x27;t necessarily mean that a human has to intervene. It just means that we have a reduced set of possible states that are known to be consistent. I don&#x27;t see how we could ever hope to define correct self healing algorithms without reducing the number of possible states a system can be in.