Interesting, which Gemini model? And how did you ask for symbolic reasoning, just added it to the prompt?