Given your username and the topic, I think you'll enjoy this read: https://www.cs.utexas.edu/~EWD/transcriptions/EWD02xx/EWD288...