Found a bug in our synthetic layer of axioms, then asked Gemini 3 Pro to see if it could find any bugs in our axioms just by comparing our `env.txt` file with the source PDF we are formalizing. It did, without being pushed towards the particular axiom, even though there are like 40 axioms in this system. That is promising. (No idea if the rest of what it says is meaningful, will investigate.) https://github.com/nicegeo/nicegeo/issues/125