Mathematicians: Trust, but Verify · HackerTrans