filling in Set::add