Run the model and restore the proof it presents.