The imagination imitates. It is the critical spirit that creates.
In computational complexity, we are not just dealing with the limits of what we can compute, but also with the limits of what we can prove.