deletions | additions       diff --git a/Analysis_Pledges_will_work_best__.md b/Analysis_Pledges_will_work_best__.md  index a7cb38d..1d5a3a4 100644  --- a/Analysis_Pledges_will_work_best__.md  +++ b/Analysis_Pledges_will_work_best__.md 
...
- A' is the set of system calls that can occur in the future of the execution of a function f, including those from functions that can possibly be called from a callsite in f or any function down that chain  - CONTEXT: If f is called from g_k where g_0 to g_k is on the call stack, then each g can possibly have a set of system calls that can occur in the future of its execution. Therefore, A' must also be aware of the future execution of functions deeper on the call stack. ONLY NEED THE LAST FUNCTION CONTEXT  \[F=\bigcup_{i \in I}S_{f_i}\]  \[A=\bigcup_{i=0}^{j}S_{f_i}\]  \[A'=F \backslash A\]