Add proString, proMath.