Editing the early sections of 2-way formalisation.