Indeed he did - but the two quotes were in the same comment until after I posted my request. That's why there's an asterisk after the timestamp on the original quote post - the comment was edited to remove the Bas van Fraassen quote.
Ah, my apologies. That's what I get for reading the thread 11 days late. :-)
Here's the new thread for posting quotes, with the usual rules: