I'd prefer to have an example present if we can come up with one, but will be OK if we discover that's too hard. I do beleive the example is the weakest part of the text I proposed