Sentence:  The "Demand" is done to ensure that you have indeed been granted this permission before using the "Assert" to <WSD>short-circuit</WSD> the stackwalk. 
Meaning of the word marked with <WSD> tags:  to terminate a loop before the declared termination condition is met or a conditional before all conditions have been tested for