આમ, હાજર થીસીસ નીચેના ઘટકો સમાવે છે જોઈએ: