joaolkf comments on The Inefficiency of Theoretical Discovery