python_set_add.py: