Note that if the assumptions in the correctness lemma [1]} are met, then we actually have \(L_{i} = S_i\) .
This phenomenon can notably be observed for the input values of parameters given in the paper.
