Proper saturation formula