Friedman's grand conjecture