corpus christi: Thursday after Trinity Sunday; first celebrated in 1246
holiday: a day on which work is suspended by law or custom
punched card: a card on which data can be recorded in the form of punched holes