Bracketing bug fix, wrote up quantifier examples.