https://123dok.com/document/4yr6wvoy-a-comparison-of-proof-comprehension-proo.html