Leibniz's reduction procedure presupposes that substitution of definitional equivalents preserves me...