Department of Computer Science, Princeton University, Princeton, NJ 08540, USA. ogt@cs.princeton.edu.|Department of Computer Science, Princeton University, Princeton, NJ 08540, USA. ogt@cs.princeton.edu.|Department of Computer Science, Princeton University, Princeton, NJ 08540, USA. ogt@cs.princeton.edu.