spec and impl for next_available_dates