What is CaseVector?