Domain correctness ensures code accurately reflects business rules.
Domain correctness means designing software that accurately models financial transactions. Using BigDecimal for currency ensures calculations reflect real-world rules, such as tax computation, which may have specific rounding rules.