The most powerful art is that which makes us uncomfortable, that forces us to confront what we'd rather ignore.
The concept of reducibility is central to understanding the relationships between different computational problems.