If it's worth saying, but not worth its own post, then it goes here.
Notes for future OT posters:
1. Please add the 'open_thread' tag.
2. Check if there is an active Open Thread before posting a new one. (Immediately before; refresh the list-of-threads page before posting.)
3. Open Threads should start on Monday, and end on Sunday.
4. Unflag the two options "Notify me of new top level comments on this article" and "
It doesn't count in the discussions of coloring graphs, such as in the four color map theorem, and that's the kind of math this is most similar to. So you really need to specify.
Okay. The next time I'll be more careful to eliminate any possible ambiguity in advance.