Rigorous traceability