This remark describes an earlier form of this post and may also be outdated.

2021-01-12T23:23:58+00:00