ગાણિતિક પદ્ધતિઓ સાબિત અને પૂર્વધારણા રિફાઇન કરવા માટે પરવાનગી આપે છે.