Vladimir_Nesov comments on The Octopus, the Dolphin and Us: a Great Filter tale