https://9dok.net/document/zx568wkv-label-number-maximization-slider-model-extended-abstract.html