Fascinating, thanks. This all makes Sister Celine's contribution less surprising. I came across her in the classic A=B "about identities in general, and hyperge

Fascinating, thanks. This all makes Sister Celine's contribution less surprising. I came across her in the classic A=B "about identities in general, and hypergeometric identities in particular, with emphasis on computer methods of discovery and proof." An amazing and wonderfully-written book. https://www.math.upenn.edu/~wilf/AeqB.html https://www.math.upenn.edu/~wilf/AeqB.html https://mathworld.wolfram.com/SisterCelinesMethod.html https://mathworld.wolfram.com/SisterCelinesMethod.html https://en.wikipedia.org/wiki/Mary_Celine_Fasenmyer https://en.wikipedia.org/wiki/Mary_Celine_Fasenmyer