If you want to justify it even more, you can think of it as testing invariants at various points in your program flow!