Context: $INTRO_CONTEXT

Goal: $INTRO_GOAL