On Saturday, 13 December 2025 at 14:41:52 UTC, Paul Backus wrote: > I am happy to write up my thoughts on this at length if anyone > is interested in reading them. Certainly! You always formulate your thoughts very well.