All Brights are Sharps. Some Sharps are Quicks. What must be true?