Thank you, @mike961. The claimed few important facts are in fact not few but very interesting and important facts. I really appreciate your contributions too.