https://reviewbook.org/the-witness-tree/