Daniel Kokotajlo comments on the void