[spec] reciprocal differentiation