I didn't realize that my response to John went to the entire list!
I will take this opportunity to thank the numerous respondents
who offered general advice on the topic of undefined terms or who
described approaches taken in specific systems; the response has been
considerable and useful!