The argument assumes the standard fine-structural account of L, but Sy Friedman's inner model progra...