JUSTCE FOR TRACEDEF (jft)