If all glips are glops, and no glops are glups, which of the following statements must be logically true?