Persistent Traceability Discipline