deletions | additions       diff --git a/layout.md b/layout.md  index 15fd868..9260bb0 100644  --- a/layout.md  +++ b/layout.md 
...
abstract.tex  introduction.tex  etymology.tex  background.tex model.tex  SPECS-begins.tex  figures/schematic/schematic.png  SPECS-continues.tex  diff --git a/background.tex b/model.tex  similarity index 74%  rename from background.tex  rename to model.tex  index 0502ac2..1de750a 100644  --- a/background.tex  +++ b/model.tex 
...
\section{Background} \section{Our formal model}  \label{sec:background} \input{SPECS-begins.tex}