[akkartik]

I don't understand. What clarification? I don't see any mention of free vs bound variables anywhere in this thread or your links. I meant energies in describing the technical shortcomings of Gemini, and concentrating all the energy you're already willing to expend, not adding more. If you're tired of arguing, so am I. I'll step away now.

[cxr]

> > This risk is omnipresent in the universe[...] If we all worried about this we'd not do anything. Rhetoric like "Gemini sucking the air out of the room," "person who spends 250 hours working on Gemini,"[...] I could just as well replace Gemini with[...]

> you could only do that if the basis of my comment were about generic, FOMO-driven hand-wringing, where A is unbound, so substitute any A and the criticism remains true. That's not what we're talking about.