. "has quantity kind" . . . .