diff --git a/manuscrit/10_introduction/main.tex b/manuscrit/10_introduction/main.tex
index 2445757..597c4d7 100644
--- a/manuscrit/10_introduction/main.tex
+++ b/manuscrit/10_introduction/main.tex
@@ -104,7 +104,7 @@ analyzers' accuracy: a \emph{backend model}, a \emph{frontend model} and a
 \emph{dependencies model}. We propose contributions to strengthen them, as well
 as to automate the underlying models' synthesis.  We focus on \emph{static}
 code analyzers, that derive metrics, including runtime predictions, from an
-assembly code or assembled binary.
+assembly code or assembled binary without executing it.
 
 The \hyperref[chap:foundations]{first chapter} introduces the foundations
 of this manuscript, describing the microarchitectural notions on which our
diff --git a/plan/20_SotA.md b/plan/20_foundations.md
similarity index 100%
rename from plan/20_SotA.md
rename to plan/20_foundations.md