Yeah, good catch. I was under the impression they did the proof in lean from the get go, but you are right. I guess the nature of the problem lent itself to th

Yeah, good catch. I was under the impression they did the proof in lean from the get go, but you are right. I guess the nature of the problem lent itself to the 10k agents. Ie, there isn't something general to take here.