Applies to software engineering as well!

Often the “logical reasons why” are you fooling yourself into thinking you know all the invariants, when you really forgot or misunderstood at least one.