Both sides fail to recognize documentation as the subject of our work. Academics keep pointing out that we are neglecting “proof obligations”; industrial reviewers classify our work as “verification” which they (often correctly) consider too difficult and theoretical, Neither group can see documentation as an easier, and in some sense more important, topic, than verification. To them, documentation is that “blah blah” that you have to write