https://123dok.org/document/ky65d85z-implications-incremental-verify-algorithm-forming-switching-distributions-arrays.html