It might be thought that the proper Diagram would be
——
1
, in order to express "some exist": but this is really contained in "some are ." To put a red counter on the division-line would only tell us "one of the two compartments is occupied", which we know already, in knowing that one is occupied.