deletions | additions       diff --git a/2.tex b/2.tex  index 157ea77..14441ff 100644  --- a/2.tex  +++ b/2.tex 
...
\section{6.14}  \subsection{} \subsection{a}  Proving Lemma 6.4.1: $(\I,r,m) \vDash C_S \varphi$ iff $(\I,r',m') \vDash \varphi$ for all points $(r',m')$ that are S-reachable from $(r,m)$.