• 2: commit(T) record will be seen before log records for transaction T.

  • 3: There could be multiple updates. We'll back them out one by one.