?? to define x in terms of y when x is more symmetric (= more robust ...) than y, just "make sure that the names that you give everything are y-correct, and then describe x naively, exhaustively in terms of those names" ..... ???? ....

?? but this seems very gambit-ish .... ?? so how does it relate to deterministic / constructive / "disjunction" / "lagrange extrapolation" methods ??? ....

?? well, so maybe it's like this : the way that the gambit-ish method becomes deterministic is by conscientiously holding back and not assigning names to things more precisely than you can actually discern the identities of the things ...

?? hmmm, idea here of bohr's commandment as "anti-mule" measure ...... ???? ...... ???? ......

?? so for example, if a/b distinction is indiscernible to you, then instead of randomly assigning name a to one of them and b to the other, you conscientiously refer to either of them as "mr a-or-b" ..... ???? ....

(for some reason this reminds me of peter sellers and keenan wynn ...)

(with complication of higher tuple classes not being just tuples of singleton classes .... ?? "non-exactness" of some sort ??? ..... ????? .....)

(?? vague feeling here about .... "squeezing out flab" ... "decategorification" .... ???? maybe not that vague ..... ???? ..... hmmmm ....... ????? ....... julian barbour ...... ????? ..... "passion" .... ???? .... "desiccated ... shriveled up ..." .... ?? .... mule ..... ???? ....)

?? "disjunction" level slip here ??? .... within equivalence class vs between equivalence class ..... ????? ..... both somewhat relevant .... ???? .... ??? hmmm, different "cases", each defined disjunctively ... ??? so maybe less of a slip than i was thinking a moment ago ..... ???? .... ?? some "feynman path integral / slide rule" phenomenon here ?? .... ??? sum of products vs sum of exponential of sums .... ????? ......

?? deterministicization here as .... ??? "integration wrt haar measure" flavor ??? .... ?? integrating "acceptable labeling" constraint characteristic function over all possible labelings .... ????? ....... ????? .....

?? christian / muslim ....

?? usa / ussr ..... von neumann .... mccarthy ... john that is ... their idea of mathematicians's fondness for symmetry as leading to unhealthy level of support for mad doctrine ... ?? mad doctrine as birthday-cake solution on steroids .... ??? tom-and-jerry ... eating own-tail-sandwich ...

?? actually .... ???? funny _non_-symmetric aspect of birthday-cake solution, yet somehow it really does embody symmetry idea ..... ????? ...... "one being symmetric for the two of them" ..... ????? ..... ?? variant where instead of other chooses, flip a coin ..... ???? "other chooses" variant as sharper in some ways, but .... ???? ..... ???? .....

?? brown / arena / gorn / other .... ??? hunger games ... ?? ...

?? not yet to point of really getting lagrange extrapolation bit to mesh perfectly with bohr's commandment bit ??? ..... ?? bit about lagrange extrapolation not just in "function" case .... ?? exmple that i did for gunnarsen's students ... "number" case .... ???? .... ?? elt f of k[x] as structure on k, related to [certain other sorts of structure on k, namely input data for lagrange extrapolation, yielding f as output] .... ???? .... ??? _is_ that really the way it works ??? .... ??? really try to check more carefully .... ????? .....

?? "find any y-correct frame ..." vs "find all y-correct frames ..." .... ??? .....