Doesn’t “color” (no ‘s’) imply they can’t be more than one? Or… is this theorem further supported? Both of these horses are all the same color.