iminsi itandatu ikwiriye gukorerwamo imirimo the compacting garbage collector can run either synchronously or asynchronously within its own thread simpler paths allow for mathematical simplifications of the general form of the law