Have we ever lost mathematics? · HackerTrans