diff --git a/foldemo.py b/foldemo.py
index e924e54..40b238d 100644
--- a/foldemo.py
+++ b/foldemo.py
@@ -1,16 +1,17 @@
 from plyxproto.logicparser import *
 import ply.lex as lex
 import ply.yacc as yacc
+import pdb
 
-test_1 = "true"
-test_2 = "a | b"
-test_3 = "exists a: x=y"
-test_4 = "forall a: exists b: x.b=y.b"
-test_5 = "forall a: {{ a.endswith('good') }} "
+test_1 = "<true>"
+test_2 = "<a | b>"
+test_3 = "<exists a: x=y>"
+test_4 = "<forall a: exists b: x.b=y.b>"
+test_5 = "<forall a: {{ a.endswith('good') }}>"
 
 DEBUG = 0
 
-lexer = lex.lex(module=FOLLexer(), debug=DEBUG)#, optimize=1)
+lexer = lex.lex(module=FOLLexer(), debug=DEBUG)
 parser = yacc.yacc(module=FOLParser(), start='goal', debug=DEBUG)
 
 for x,v in globals().items():