To Bob Myers:

Very nice job! :-) I particularly like the wording of the definition. Many thanks.