The current tip now has a simple locking scheme, and commands to recover an interrupted transaction (eg power failure) and to roll back the previous transaction (undo!). -- Mathematics is the supreme nostalgia of our time.