Title: Foundations of Computer Science (Focs 2001), 42nd IEEE Symposium on