Don't agree that ChatGPT is no good at substantive logic. As part of learning this language model it learnt all kinds of abstract mathematical skills e.g., calculating derivatives and integrals, also ones that it never had it its training s