"In the study of computational complexity, we often find that the boundaries of what is possible are defined by the limits of our imagination."