At least this is written before ChatGPT.