I was thinking about logic a bit this evening and looked up an old professor. Saddened to hear he’s passed away.