Various changes in algorithm section. Improved punctuation. Added better notation for contractions.