Goal ::= "h" "i";