Correctly implement merging Notification & Manager sets