I-deduce-skeletons