Mark_Friedenbach comments on The Inefficiency of Theoretical Discovery