the belief of tikkun olam is featured in a religion with what holiday?
(AND time.holiday (JOIN time.holiday.featured_in_religions (JOIN (R religion.belief.belief_of) m.02zpl5)))