I'm so thankful for the various amounts of time that I had with my Grandparents: my paternal "Granny", my maternal "Grandmother", and my paternal "Pop".
Intelligent people ignore...Yes. Let it go, and move on with your life. Then amazingly one day you realize you haven't thought about that negative situation, or that jealous, vindictive person in like forever, and you think, "WOW!! What was her name.