Fix #3.  Add WeakSet.