Proactive help comes in two forms, push revelations and pull revelations. The difference between these relies on whether they are individualized to the user’s context and likely to be related to the current user goal.