https://1library.net/document/zkev081z-blocks-of-monotone-boolean-functions-of-rank.html