This is an example of what makes some people very decent: Thank you Paul; it was a pleasure to be repeated.