Practitioners Reject Formal Methods
Sorry about the disruption, but people were interspersing comments into EWD's own words, which spoiled the flow. Despite the page being "hot" I've moved it to try to avoid a ThreadMess and promote genuine discussion.