Rob Bensinger comments on I don’t think MIRI “gave up”