વધુ સ્પષ્ટ રીતે, તે વિવિધ પ્રકારના ભૂલો સાબિત કરવા, અને તેમને પડકાર મુશ્કેલ છે.