LLMs don't do formal reasoning