Seth Herd comments on 10 quick takes about AGI