THE ADINA SET TRACEABILITY