I spend a lot of time thinking about the decisions that go into push notifications.