>> Programs difficult to reason about are hard to get
    >> working and hard to debug and hard to maintain.

Actually reasoning and maintaining often are at the opossing ends. The code which is easy to reason about tends to be low on abstractions and tightly coupled, so changes become much more difficult. More modular code is harder to reason about but the changes can be introduced easily.