which months are july?
(AND time.month (JOIN (R time.calendar.months) (JOIN time.calendar.month_names m.040fv)))