Spec for differentiations