Comment by geon

Getting to a state where those assumptions are true is HARD. And takes a lot of careful programming.

Yes. Once it is true, the code is easy to write. But only because a lot of effort went into making it easy. And keeping it easy is also hard. Without focused effort to keep the code clean and easy to modify, it starts to rot.