Integral_linearity