If all widgets are gadgets, and no gadgets are sprockets, which of the following statements must be true?