when is the ignatul holiday?
(AND time.day_of_year (JOIN time.day_of_year.holidays m.0_hm8y_))