Kaj_Sotala comments on The Inefficiency of Theoretical Discovery