Oh, I wanted to mention I struggled hard with what your boyfriend is struggling with and I couldn't let things go no matter what--until I received my OCD diagnosis and got on meds for that.

Doctors missed it until I was 41. I already had the GAD and depression diagnoses, so I don't know if that's a possibility, but the repetitive nature of that thinking is an intrusive-thought style OCD symptom.