More notes on this topic are at https://closing-table-math.pages.dev/.