More efficient deletion of thinkers