Good morning everyone. This account is no longer active. I have decided to abandon Twitter for good. The reason is that, apparently, the tool's usage model makes even intelligent people write stupid things, and I certainly do not wish to read that.
Farewell.