Comment Comment by alanh That’s not a definition :) And, by the way, a definition is not defined as whatever one thinks a definition is. parent alanh 4 years ago