Freedman–He–Wang conjecture