Real software engineers don't debug programs, they verify...

Real software engineers don't debug programs, they verify correctness. This process doesn't necessarily involve execution of anything on a computer, except perhaps a Correctness Verification Aid package. Sex without love is an empty experience, but, as empty experiences go, it's one of the best.