Comment by manmal

> A hallucinated edge case in a tax calculation doesn't throw an error.

Would double entry book keeping not catch this?