An office worker with good manners will throw away the scrap paper after using a paper punch.