Delete defs.py