Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
It would essentially mean that we modified type int and bool by associating label "cow" to it. This labeling would be preserved through product operation. Thanks for suggestion about cstheory.