https://1library.org/document/zkw53l1z-on-theory-multiple-contraction.html