Comment by scrollaway

Hey, sorry to bother you but I was about to google something and I figured I'd ask you instead. Can you remind me the year John Herivel was born, and how old he was when he discovered the Herivel tip?

Please?