SDD
You are missing the 100% fleet fit out option. Unless it has feathers it should have ADSB out.
Along with that is wide spread VHF repeaters to give the kind of coverage that was originally promoted.
Then some really good software enhancements and some better procedures and tools for ATC, and we will have it all!
J