. . "Every A is a B" . .