deletions | additions       diff --git a/Notation_Suppose_the_analysis_is__.md b/Notation_Suppose_the_analysis_is__.md  index f9186ef..2b695c3 100644  --- a/Notation_Suppose_the_analysis_is__.md  +++ b/Notation_Suppose_the_analysis_is__.md 
...
##Notation  Suppose the analysis is deciding where pledge calls can besafely  inserted into function _f_ which calls function _g_ at some point in its execution.