KPier comments on The Case of the Speluncean Explorers