Sentence:  <WSD>Thus</WSD> f satisfies * * f if and only if f has the form * * f . 
Meaning of the word marked with <WSD> tags:  (used to introduce a logical conclusion) from that fact or reason or as a result