Sure, but the Dallas residents still don't have the autonomous on-demand bus while they could have had a normal bus decades ago.

And I doubt that 4 or 12 is the ideal bus size in that place.