The study of computational complexity is a journey through the landscape of mathematical logic and algorithmic theory.
Logical consequences are the scarecrows of fools and the beacons of wise men.