Department of Computer Science, Duke University Box 90129, Durham, NC 27708-0129, USA. py@cs.duke.edu|Department of Computer Science, Duke University Box 90129, Durham, NC 27708-0129, USA. py@cs.duke.edu