On The Experimental Nature of Math.
An Example:
It is true - it is not (yet) proven.
The proof of the pudding is in the eating.
It is true - it is not (yet) proven.
The proof of the pudding is in the eating.