https://antonkov.github.io/posts/How-to-build-a-proof-tree/