"Theoretical computer science is not just about solving problems, but about understanding the nature of computation itself."
永远不要低估一个精心设计的实验的力量。