Sentence:  It's easy to prove <WSD>partial</WSD> correctness, but it's not obvious that it is also totally correct. 
Meaning of the word marked with <WSD> tags:  describing a property that holds only when an algorithm terminates