Pimgd comments on AI #18: The Great Debate Debate