Feel free to offer the correc definition. But note that you came define it as overridable, since non terminal goals are already defined that way.

There is no evidence that people have one or more terminal goals . At least you need to offer a definition such that multiple TGs don't collide, and are distinguishable from non TGs.