You start with a set of things and you map them to a smaller set of categories. The more you learn about things, the bigger your set of categories becomes, until eventually you find the sets are equal.

Far too much effort is wasted arguing along the way.