THREADS/TRACES (draft notation)