Daniel Kokotajlo comments on GPT-4