Sentence:  Diamond arises in Gödelian meta-mathematics. In meta-math, sentences can refer to each other's provability, and to <WSD>quining</WSD>. This yields self-reference: T = "is provable when quined" is provable when quined. 
Meaning of the word marked with <WSD> tags:  To append something to a quotation of itself.