Set of addresses, so users won't be notified multiple times.