For many years I worked on program proving, because that was the done thing in certain theory circles, but also because proving the absence of bugs seemed the “right” thing to do and because logic+proving were fun. Then, through a complex and unplanned sequence of events, I came to embrace the dark side of proving the presence of bugs, exemplified by incorrectness logic but with earlier and more fundamental roots. I found the dark side to be deliciously alluring, definitely still fun in logic+proof, and in some cases even more fun and more right. In this talk, I’ll tell you how my journey happened, some of the regrets I have, some of the things I came to understand, as well as some of those I still do not.