Comment by hayley-patton

I think a fair part of the unified theory is that a tracing GC traces live objects, whereas a refcounting GC traces dead objects.