બીજા શબ્દોમાં કહીએ તો, જે બાદમાં આજે નિરાકરણ માટે કોઈ ઔપચારિક પદ્ધતિઓ છે.