[rublev]

What's the point of this comment without explaining why? If you're going to pat yourself on the back, don't only do it once, spill the beans! There's nothing wrong with your implication, just be able to back it up because it's a fairly large one.

[jacquesm]

> If you're going to pat yourself on the back

That's not how I read it.