Delete syntactic.py