Daniel Kokotajlo comments on Where are the red lines for AI?