ParentFull threaddoc4t·> You seem to imply that actual mathematical content is rather less importantNo. The point was that it is much more than what you call the content.View on HN