https://book.etudes.ru/articles/mathnlogic/spread/