Full threadMalcolmDiggs·Sorry, but what's a "topcolor"? Are we talking about this http://en.wikipedia.org/wiki/Topcolor ? I'm confused.View on HN