Reverse math shows why hard problems are hard