historical question - paper tape vs. punched cards