"But what's the point of being clever if you can't prove it?"