By disabling exhaustive tracing the programmer will no longer be informed of every goal their program attempts to resolve. Any tracing due to the presence of spy points will continue.

Examples