University holiday: Presidents’ Day.