Greetings. I am typing this as of the 15th of July 2021. No particular reason why other than posterity. I wish you all a good day and good health.
