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