https://tutorial.eyehunts.com/python/python-set-remove-if-exists/