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.
CategoryFormalMethods