batchenfall- What’s the point of being clever if you can’t prove it?