when is the holiday christmas day?
(AND time.day_of_year (JOIN time.day_of_year.holidays m.01vq3))