let
keywords = [
"Goal"
;
"Hint"
]