What's the point in being clever if you can't prove it