I knew that there was something in the back of my mind concerning this argument; today I found it. Hidden in one of my ebooks, an article which discusses this very topic (from a position inches closer to sycld than Coq, which is about where I think I weigh in at the moment).
http://www.sssswr.org/prog99/steinberg.htm