Back in punch card days, I occasionally used the card sorter, but we mostly referred to it as the “card shredder”.

There were a number of ways to get in trouble when fixing a deck with a problem card:
— make the new replacement card; throw it away; put the old card back.
— put both of them back.
— throw both of them away.
— put the new card back, but in the wrong place in the deck.
— put the new card facing front to back, or upside down, or the other combinations.

Don’t ask me how I know about these things.

4