ChatGPT - Self-Referential Symbolic Check