Why Prove it Again? - Dawson, Jr, John W. (Springer International Publishing, 2015)