Reifying mathematics? Prediction and symmetry classification · Study