Age-old bugs in the transaction algebra.