Alot of this went over my head.  Specificly, what was he talking about when he said they "had mapped the functional dependencies between binarys"? 

..and why is that such a good thing?