Review: On the Evidence from Mathematica