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