It's funny how things work out.
The concept of reducibility is central to understanding the relationships between different computational problems.