Prove-It-or-Else—Traceability