🪞 LLMs prove Verse-al Logic