Tweak abstract & descrpition, rename some variables/lexemes