diff --git a/certainty.tex b/certainty.tex index 5dc553d..25f59d2 100644 --- a/certainty.tex +++ b/certainty.tex @@ -84,13 +84,13 @@ service tracks when alternative decisions change, runs \texttt{evaluate} evaluation logic when appropriate, and returns testing results to the \texttt{maybe} server. -\sloppypar{Because unpredictable runtime variable changes could cause crashes -or incorrect behavior, our prototype currently only changes variable values -when they are set using a \texttt{maybe} statement. If the app wants to -enable periodic readaptation of certain global variables, such as the -interval controlling a timer, it can do so by periodically resetting the -value using another \texttt{maybe} statement. This ensures that -\texttt{maybe} variables only change when the developer expects them to.} +\sloppypar{Because unexpected runtime variable changes could cause crashes or +incorrect behavior, we only alter \texttt{maybe} variables when they are +(re)initialized, not at arbitrary points during execution. If the app wants +to enable periodic readaptation of certain variables, such as the interval +controlling a timer, it can do so by periodically resetting the value using +another \texttt{maybe} statement. This ensures that \texttt{maybe} variables +only change when expected.} \subsubsection{Simulation or emulation}