Reverse math shows why hard problems are hard

Top