Roy approached Rich with a problem that he was stuck on in 2002. Thus began a long-term friendship and collaboration. Rich passed away in December, 2018. See a remembrance here.