Implementing part of the notification mechanism of Prism