(Hint: it’s punchcards.)