@ColinTheMathmo @rmathematicus I've changed the text to "would have used punchcards to input data". Is that better?