Comment Comment by krunck I just found this. First paragraph says it all.https://www.cs.utexas.edu/users/EWD/ewd13xx/EWD1316.PDF parent krunck 2 years ago
https://www.cs.utexas.edu/users/EWD/ewd13xx/EWD1316.PDF