Sentence:  Before deriving this <WSD>formula</WSD> , we explain what we mean by `` problems of this kind '' . 
Meaning of the word marked with <WSD> tags:  a group of symbols that make a mathematical statement