EWD's argument why they should: <a href="http://www.cs.utexas.edu/users/EWD/transcriptions/EWD08xx/EWD831.html" rel="nofollow">http://www.cs.utexas.edu/users/EWD/transcriptions/EWD08xx/EW...</a>