Caught between a dream and a soggy morning, I had two visions.
First, I saw that my initial construction for an old proof was good after all; I'd just *completely forgotten to write half of it down* so verbatim it was nonsense
Second,
about 1 year ago