https://9dok.net/document/yevkgo9e-formal-and-natural-proof-a-phenomenological-approach.html