Oh wow, I just realized that Pluto's ability to track dependencies—and thus cells could be written "out of order"—would also fulfill Knuth's idea of code being presented in an order more ideal for humans to read, that is different from execution order.