The world is a stage, but the play is badly cast.
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.
Man will not merely endure: he will prevail.