Reason is the soul of the law; the reason of the law is the soul.
The concept of polynomial-time reduction is central to understanding the structure of NP-complete problems.