The concept of reducibility is central to understanding the relationships between different computational problems.
The worth of a state, in the long run, is the worth of the individuals composing it.
A mathematician is a device for turning coffee into theorems.