Erik Jenner comments on What is the purpose and application of AI Debate?