The 43rd Annual IEEE Symposium on Foundations of Computer Science, 2002. Proceedings.