Searching protocol for "savepoints"
Capture and recall crystallized decisions.
Rock-solid DB transactions with ACID guarantees.