They are instead the products of downstream imagination leading to hard work, during which mathematical reasoning may or may not prove to be relevant.
Всъщност, те са продукти на въображението, което води до усилена работа, по време на която математическите доказателства може да се окажат или не верни.