deletions | additions       diff --git a/Hypotheses_Upon_executing_the_analysis__.md b/Hypotheses_Upon_executing_the_analysis__.md  index 088fc7b..8845b64 100644  --- a/Hypotheses_Upon_executing_the_analysis__.md  +++ b/Hypotheses_Upon_executing_the_analysis__.md 
...
\[A=\bigcup_{i=0}^{j}F_i\]  If function \(f\) was called by function \(g\), then:  \[A'=[ \bigcup_{i=j+1}^{n}F_i ] \cup G\]  Otherwise \(G\) would just be the empty set.  (1) follows from the fact that sets of system calls for each basic block \(F_i\) form their containing function \(f\). Then