Pro mathematica