Tracing, Verification & Backgrounds