noted for foundations of computing on theorems and negation. Changed the logic for the is opener/closer function in matching.c . Still having an issue grabbing the characters from the string