I think editors have to come out of a certain kind of community.
I got tired of people complaining that it was too hard to use UNIX because the editor was too complicated.
Take responsibility for the things you build and invent.
Interleaf is based on the formatting process.
Interleaf is very nice. I expect there to be a lot of competition for programs like that.
You can't prove anything about a program written in C or FØRTRAN. It's really just Peek and Poke with some syntactic sugar.