Reverse math shows why hard problems are hard | Heykuki News