diff --git a/main.aux b/main.aux
deleted file mode 100644
index 73ea72dd30bfbeaf2c6ab114f65c5ed5abe9752b..0000000000000000000000000000000000000000
--- a/main.aux
+++ /dev/null
@@ -1,16 +0,0 @@
-\relax
-\bibstyle{alpha}
-\bibdata{biblio}
-\newlabel{sec:intro}{{}{1}}
-\@writefile{toc}{\contentsline {section}{\numberline {1}Words, transducers and logic}{1}}
-\newlabel{sec:prelim}{{1}{1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {1.1}Words, languages and transductions}{1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {1.2}Relational structures and logical interpretations}{1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {1.3}SSTs and pebble transducers, semantics with an without origin}{1}}
-\@writefile{toc}{\contentsline {section}{\numberline {2}FO model-checking of transductions with origins: SSTs and pebble transducers}{1}}
-\newlabel{sec:mc}{{2}{1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}The Backward Translation Theorem}{1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}Model-checking (copyfull) SSTs with origin}{1}}
-\@writefile{toc}{\contentsline {subsection}{\numberline {2.3}Model-checking pebble transducers with origin}{1}}
-\@writefile{toc}{\contentsline {section}{\numberline {3}SSTs and lexicographic MSO-interpretations}{1}}
-\newlabel{sec:sst-lex}{{3}{1}}
diff --git a/main.bbl b/main.bbl
deleted file mode 100644
index 9b431fad0d4079afd902592878894a32b623a159..0000000000000000000000000000000000000000
--- a/main.bbl
+++ /dev/null
@@ -1,3 +0,0 @@
-\begin{thebibliography}{}
-
-\end{thebibliography}
diff --git a/main.blg b/main.blg
deleted file mode 100644
index de6530a3ef02615c83690e72cfd762a0ca7b89e3..0000000000000000000000000000000000000000
--- a/main.blg
+++ /dev/null
@@ -1,48 +0,0 @@
-This is BibTeX, Version 0.99d (TeX Live 2017/Debian)
-Capacity: max_strings=100000, hash_size=100000, hash_prime=85009
-The top-level auxiliary file: main.aux
-The style file: alpha.bst
-I found no \citation commands---while reading file main.aux
-Database file #1: biblio.bib
-You've used 0 entries,
- 2543 wiz_defined-function locations,
- 558 strings with 4433 characters,
-and the built_in function-call counts, 24 in all, are:
-= -- 0
-> -- 0
-< -- 0
-+ -- 0
-- -- 0
-* -- 2
-:= -- 10
-add.period$ -- 0
-call.type$ -- 0
-change.case$ -- 0
-chr.to.int$ -- 0
-cite$ -- 0
-duplicate$ -- 0
-empty$ -- 1
-format.name$ -- 0
-if$ -- 2
-int.to.chr$ -- 1
-int.to.str$ -- 0
-missing$ -- 0
-newline$ -- 3
-num.names$ -- 0
-pop$ -- 0
-preamble$ -- 1
-purify$ -- 0
-quote$ -- 0
-skip$ -- 2
-stack$ -- 0
-substring$ -- 0
-swap$ -- 0
-text.length$ -- 0
-text.prefix$ -- 0
-top$ -- 0
-type$ -- 0
-warning$ -- 0
-while$ -- 0
-width$ -- 0
-write$ -- 2
-(There was 1 error message)
diff --git a/main.fdb_latexmk b/main.fdb_latexmk
deleted file mode 100644
index 3da92259c8590dfd542211a4a5ae9b8395cd6d09..0000000000000000000000000000000000000000
--- a/main.fdb_latexmk
+++ /dev/null
@@ -1,48 +0,0 @@
-# Fdb version 3
-["bibtex main"] 1632489458 "main.aux" "main.bbl" "main" 1632489511
- "/usr/share/texlive/texmf-dist/bibtex/bst/base/alpha.bst" 1480098433 23907 a5f93555796fb564b924339521f10a7c ""
- "biblio.bib" 1627286900 2496 833178ac78892e1ed621941d842e740e ""
- "main.aux" 1632489458 1154 a6b1a3a5a27c23e0f88e7c64c3104f51 ""
- "main.bcf" 0 -1 0 ""
- (generated)
- "main.bbl"
- "main.blg"
-["pdflatex"] 1632489458 "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex" "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.pdf" "main" 1632489511
- "/etc/texmf/web2c/texmf.cnf" 1601279320 475 c0e671620eb5563b2130f56340a5fde8 ""
- "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux" 1632489458 1154 a6b1a3a5a27c23e0f88e7c64c3104f51 ""
- "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex" 1632489511 1060 34c72781352624fa306bfb30fd21a05f ""
- "/usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map" 1511824771 3332 103109f5612ad95229751940c61aada0 ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm" 1480098701 1324 c910af8c371558dc20f2d7822f66fe64 ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx9.tfm" 1480098701 1328 5442e22a7072966dbaf88ca900acf3f0 ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm" 1480098701 1524 4414a8315f39513458b80dfc63bff03a ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm" 1480098701 1512 f21f83efb36853c0b70002322c1ab3ad ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm" 1480098701 1520 eccf95517727cb11801f4f1aee3a21b4 ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr12.tfm" 1480098701 1288 655e228510b4c2a1abe905c368440826 ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr17.tfm" 1480098701 1292 296a67155bdbfc32aa9c636f21e91433 ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr6.tfm" 1480098701 1300 b62933e007d01cfd073f79b963c01526 ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr8.tfm" 1480098701 1292 21c1c5bfeaebccffdb478fd231a0997d ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr9.tfm" 1480098701 1292 6b21b9c2c7bebb38aa2273f7ca0fb3af ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm" 1480098701 1124 6c73e740cf17375f03eec0ee63599741 ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm" 1480098701 1116 933a60c408fc0a863a92debe84b2d294 ""
- "/usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm" 1480098701 1120 8b7d695260f3cff42e636090a8002094 ""
- "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb" 1480098733 32080 340ef9bf63678554ee606688e7b5339d ""
- "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx9.pfb" 1480098733 32298 c6d25bb16d1eac01ebdc6d7084126a1e ""
- "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb" 1480098733 35752 024fb6c41858982481f6968b5fc26508 ""
- "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb" 1480098733 32722 d7379af29a190c3f453aba36302ff5a9 ""
- "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb" 1480098733 32362 179c33bbf43f19adbb3825bb4e36e57a ""
- "/usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb" 1480098733 33993 9b89b85fd2d9df0482bd47194d1d3bf3 ""
- "/usr/share/texlive/texmf-dist/tex/latex/base/article.cls" 1480098821 19821 310da678527a7dfe2a02c88af38079b7 ""
- "/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo" 1480098821 8292 e897c12e1e886ce77fe26afc5d470886 ""
- "/usr/share/texlive/texmf-dist/web2c/texmf.cnf" 1520210507 32485 c64754543d8ac501bea6e75e209ea521 ""
- "/usr/share/texmf/web2c/texmf.cnf" 1520210507 32485 c64754543d8ac501bea6e75e209ea521 ""
- "/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map" 1601280639 2700761 ac0584cc9514ab21918550a6948c4ee2 ""
- "/var/lib/texmf/web2c/pdftex/pdflatex.fmt" 1601280650 4129943 ba808502b9cf84b5c160479985bd2263 ""
- "main.aux" 1632489458 1154 a6b1a3a5a27c23e0f88e7c64c3104f51 ""
- "main.bbl" 1632489458 49 0eba253fc001332e731e8aba3f23127b "bibtex main"
- "main.tex" 1632489511 1060 34c72781352624fa306bfb30fd21a05f ""
- (generated)
- "main.pdf"
- "main.log"
- "main.aux"
- "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.pdf"
- "/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.log"
diff --git a/main.fls b/main.fls
deleted file mode 100644
index a41a022d867bdc49135323ec53fa67a632ad3c50..0000000000000000000000000000000000000000
--- a/main.fls
+++ /dev/null
@@ -1,41 +0,0 @@
-PWD /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon
-INPUT /etc/texmf/web2c/texmf.cnf
-INPUT /usr/share/texmf/web2c/texmf.cnf
-INPUT /usr/share/texlive/texmf-dist/web2c/texmf.cnf
-INPUT /var/lib/texmf/web2c/pdftex/pdflatex.fmt
-INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex
-OUTPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.log
-INPUT /usr/share/texlive/texmf-dist/tex/latex/base/article.cls
-INPUT /usr/share/texlive/texmf-dist/tex/latex/base/article.cls
-INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
-INPUT /usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
-INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux
-INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux
-OUTPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux
-INPUT /usr/share/texlive/texmf-dist/fonts/map/fontname/texfonts.map
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr17.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr9.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr12.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr8.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr6.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi12.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi8.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmmi6.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy10.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy8.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmsy6.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx9.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmr12.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm
-INPUT /usr/share/texlive/texmf-dist/fonts/tfm/public/cm/cmbx12.tfm
-INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.bbl
-INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.bbl
-OUTPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.pdf
-INPUT /var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map
-INPUT /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux
-INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb
-INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx9.pfb
-INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb
-INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb
-INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb
-INPUT /usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb
diff --git a/main.log b/main.log
deleted file mode 100644
index 1fe0f5197c61fb0622ef84987cf2f259ede042c2..0000000000000000000000000000000000000000
--- a/main.log
+++ /dev/null
@@ -1,74 +0,0 @@
-This is pdfTeX, Version 3.14159265-2.6-1.40.18 (TeX Live 2017/Debian) (preloaded format=pdflatex 2020.9.28) 24 SEP 2021 15:17
-entering extended mode
- restricted \write18 enabled.
- file:line:error style messages enabled.
- %&-line parsing enabled.
-**/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex
-(/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.tex
-LaTeX2e <2017-04-15>
-Babel <3.18> and hyphenation patterns for 84 language(s) loaded.
-(/usr/share/texlive/texmf-dist/tex/latex/base/article.cls
-Document Class: article 2014/09/29 v1.4h Standard LaTeX document class
-(/usr/share/texlive/texmf-dist/tex/latex/base/size10.clo
-File: size10.clo 2014/09/29 v1.4h Standard LaTeX file (size option)
-)
-\c@part=\count79
-\c@section=\count80
-\c@subsection=\count81
-\c@subsubsection=\count82
-\c@paragraph=\count83
-\c@subparagraph=\count84
-\c@figure=\count85
-\c@table=\count86
-\abovecaptionskip=\skip41
-\belowcaptionskip=\skip42
-\bibindent=\dimen102
-)
-
-LaTeX Warning: Unused global option(s):
- [UKenglish,cleveref,autoref,thm-restate].
-
-(/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux)
-\openout1 = `main.aux'.
-
-LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 14.
-LaTeX Font Info: ... okay on input line 14.
-LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 14.
-LaTeX Font Info: ... okay on input line 14.
-LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 14.
-LaTeX Font Info: ... okay on input line 14.
-LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 14.
-LaTeX Font Info: ... okay on input line 14.
-LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 14.
-LaTeX Font Info: ... okay on input line 14.
-LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 14.
-LaTeX Font Info: ... okay on input line 14.
-LaTeX Font Info: External font `cmex10' loaded for size
-(Font) <12> on input line 15.
-LaTeX Font Info: External font `cmex10' loaded for size
-(Font) <8> on input line 15.
-LaTeX Font Info: External font `cmex10' loaded for size
-(Font) <6> on input line 15.
- (/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.bbl
-
-LaTeX Warning: Empty `thebibliography' environment on input line 3.
-
-) [1
-
-{/var/lib/texmf/fonts/map/pdftex/updmap/pdftex.map}] (/home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.aux) )
-Here is how much of TeX's memory you used:
- 244 strings out of 492982
- 3285 string characters out of 6134896
- 56278 words of memory out of 5000000
- 3880 multiletter control sequences out of 15000+600000
- 8194 words of font info for 29 fonts, out of 8000000 for 9000
- 1141 hyphenation exceptions out of 8191
- 23i,4n,21p,236b,185s stack positions out of 5000i,500n,10000p,200000b,80000s
-</usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmbx9.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr10.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr12.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr17.pfb></usr/share/texlive/texmf-dist/fonts/type1/public/amsfonts/cm/cmr9.pfb>
-Output written on /home/nathan/Documents/mcf/recherche/articles/agamemnon/agamemnon/main.pdf (1 page, 63438 bytes).
-PDF statistics:
- 32 PDF objects out of 1000 (max. 8388607)
- 22 compressed objects within 1 object stream
- 0 named destinations out of 1000 (max. 500000)
- 1 words of extra memory for PDF output out of 10000 (max. 10000000)
-
diff --git a/main.synctex.gz b/main.synctex.gz
deleted file mode 100644
index f0eb06a0d109dd5e08cfa08ff6030824f6154af7..0000000000000000000000000000000000000000
Binary files a/main.synctex.gz and /dev/null differ
diff --git a/main.vtc b/main.vtc
deleted file mode 100644
index 3958a38d58b5ea4587bb0e453f15acd72db89de6..0000000000000000000000000000000000000000
--- a/main.vtc
+++ /dev/null
@@ -1 +0,0 @@
-\contitem\title{FO Model-Checking Superlinear transductions with origin. MSO-interpretations, SSTs, pebble transducers}\author{Jane {Open Access}, Joan R. Public}\page{23:1--23:0}