“Mathematica said so.”