ParentFull threadgpawl·I think what you mean is that most proofs follow easily once proper definitions are chosen. Notation is a visualization of definitions.View on HN