As far as I can tell, the only real way to take a next step beyond the imprecise informal idea in this paper would be to develop a formal calculus for describing garbage collectors that is 'polarized' in a way that tracing live objects and discovering dead objects are truly dual.