3.3.7 Other Local Events

A push notification is also a result of name record update events and propagation of push notifications from other servers. See bullet points 2a, 2b, and 3 in section 3.3.5.1.