====== 2026-06-11 ======

I am thinking about proving multiplicatve - multiplicative HMS, with Spencer, and with quantization.