Sentence:  Before <WSD>deriving</WSD> this formula , we explain what we mean by `` problems of this kind '' . 
Meaning of the word marked with <WSD> tags:  reason by deduction; establish by deduction