 Yeah, you bet I have. How'd that go? It was the very first thing I did when AI got popular. The very, very, very first thing I did. What'd you get from it? I've been obsessed with this problem my whole, since I first saw it. Yeah. So this is not even to mention what happened in the 30s with logic. In math, proof is everything.