in which calendar system is may the name of a month?
(AND time.calendar (JOIN time.calendar.month_names m.04w_7))