jeremy's company gave everyone a paid holiday on the friday before labor day so they could have a long weekend. this type of additional paid holiday is called a holiday.