deletions | additions       diff --git a/To_determine_where_pledge_calls__.tex b/To_determine_where_pledge_calls__.tex  index 0087516..3f3258b 100644  --- a/To_determine_where_pledge_calls__.tex  +++ b/To_determine_where_pledge_calls__.tex 
...
To determine where pledge calls can be inserted into the program shown in Figure 1, knowledge of function _f_ calling function _g_ and them both calling system call 2 is required. That knowledge would allow the determination that a pledge on system call 2 can only occur at the end of the second basic block in _f_ instead of after _g_ is called. To make that determination, the two sets can be used to represent which system calls have executed so far and which system calls have yet to execute, _A_ and _A'_ respectively.