There is a system that I’ve dealt with for a long time, and wondered if it was Turing complete. After many years of thinking “I’ll prove it one day”, I broke down and asked Sol. Five minutes later, I had a proof.