Automated Testing

You do get some amount of correctness validation by writing out your business logic a second time. It can work like a form of Rubber Duck Debugging.

More importantly, we use tests for time consistency. They future developers, including future us, make changes and additions to the code with confidence that they're not accidentally breaking something.