We believe our test suite to be a complete test of the core accounting that we implement.

Would be beautiful to have a provably correct implementation, perhaps v4!