There is actually one point missing from his list. I would put it after #5 and that is "write provable programs". I suspect Paul does this anyway, but it is a good thing to mention. This is scary to some, but PAIP has some very nice examples of this.

And rereading this essay again shows at least part of the motivation for making arc a smaller language than lisp.