So to you AGI == terminators? Interesting.