defs.py works after being cleaned up.