subsections unnumbered - and added text to address JAR's point about consequences of not locking
some clarification of how we create the inital oti cache
minor clarifications
Merge branch 'papers'