ParentFull threadtrukterious·How about in the process of reading a proof? Each single step is validated by the intuition of the reader.View on HN