Freedman–He–Wang_conjecture loading ...