Since we know the name of the desired notification, we could just observe that.