This is now revised and published, thanks all for your comments! Some key revisions:
Calling safety a *dimension* of progress instead of a “part”
Discussion of tradeoffs between the dimensions
Discussion of sequencing in general and DTD in particular
This is now revised and published, thanks all for your comments! Some key revisions:
Calling safety a *dimension* of progress instead of a “part”
Discussion of tradeoffs between the dimensions
Discussion of sequencing in general and DTD in particular