$NIL
The first goal is