3 LLMs specialized on Logical Reasoning