modified:   Core.py
	modified:   Navigator.py
	modified:   Tracer.py