https://machims.blogspot.com/2023/10/human-comparator-recursive-machine.html