Basic proof tracing.