skeleton,skeleton_label,category,category_label
FinOrd,FinOrd,FinSet,FinSet
Mat_k,Mat_k,FinVect_k,FinVect_k
Pos,Pos,Pros,Pros