Before revision:  These formulas rely on the stratification of the inputs of the target function where the number of changed transitions depends on the layer of canalization that includes the input to be deleted.
After revision:  These formulas rely on the stratification of the inputs of the target function where the number of changed transitions depends on the canalizing layer that includes the input to be deleted.