ParentFull threadBigFish12·Definitions and notations are not discovered, they're invented. I think that's what OP was talking about.View on HN