Comment by Suggger

Yes, Gemini was lurking in the toolbox, participating in the typesetting and providing precise syntax error logs; it corrected me.