That the Senate— ⋯ (1) designates October 12, 2023, as “National Loggers Day”; and ⋯ (2) encourages the President to officially designate October 12th as “National Loggers Day”. ⋯