What is "progressive infrastructure" and what do we want it to be?