oracle.py, test.py, and some of dependency.py