[Bucephalus355]

Seems reasonable. All the big oil companies used to be called “the 7 sisters” (before mergers) and then back in the 70’s for accounting it was “the big 8”.