Added algorithm for checking if a string has correctly formatted brackets
Added comment to mark the Handshake Lemma.