That's a good summary!
Thank you.
Too bad the other guy was utterly unable to give me a non-circular definition.