which religion celebrates shrove monday as a holiday?
(AND religion.religion (JOIN religion.religion.holidays m.094xqd))