Søren Elverlin comments on GPT-4