Comment by plesn

Thanks for this punchline which starts better than a long an laborious argumentation.