traceability rule