Daniel Kokotajlo comments on EDT with updating double counts