The study of computational complexity is a journey through the landscape of mathematical logic and algorithmic theory.
"The inner spaces that a good story lets us enter are the old apartments of religion."