Also, why are we not using a mutable set for this?