HR 4722 - DIGEST


Honors Eric Horvitz and David Heckerman.