> Now pick a random one of the companies that used this particular product/service and make an example of them. In particular, the random number should be a po

> Now pick a random one of the companies that used this particular product/service and make an example of them. In particular, the random number should be a point on an interval that is split into regions proportional to the size of the companies, so bigger companies are more likely to be selected. Is there a name for such a weighted random system? It seems like it could be used in some non-deterministic electoral systems too (which isn't as bad an idea as it sounds).