[This comment was useful. It's now self-censured.]

Thank you.