There is a defeasible constraint against double counting. When I count colours, for instance, I can't freely count both a color and its shades. Once we properly grasp this constraint, we can solve the ...