@@ 167,7 167,7 @@ One reason is: there's an entire largely-unpracticed art of *describing*
programs rather than *writing* them. The most successful example that comes to
mind is [`redo`](http://cr.yp.to/redo.html), as conceived by the brilliant D.
J. Bernstein. `redo` is a program that Bernstein didn't (or we might say,
-didn't bother) writing; he merely described a hypothetical program with enough
+didn't bother to) write; he merely described a hypothetical program with enough
clarity that there are [at least](https://github.com/apenwarr/redo)
[two](https://github.com/leahneukirchen/redo-c) existing implementations of the
system, written by others. I like this idea; it would tickle me pink to see