VincentYu comments on Open Thread, October 27 − 31, 2013

[VincentYu]

Please add the open_thread tag (with the underscore) to the post.

[Vladimir_Nesov]

Fixed.