implement systemGoal() and program(), add syntaxError()