translation.en: They are instead the products of downstream imagination leading to hard work, during which mathematical reasoning may or may not prove to be relevant.
translation.zh: 相反 它们往往是下游的想象以及由这些想象引发的努力工作的结果． 在此过程中数学推理或许有关或许无关．