સૈદ્ધાંતિક ફોર્મ્યુલેશન સરળ અને સ્પષ્ટ છે, પરંતુ વ્યવહારમાં વિવાદ સમાપ્ત કરવા માટે અત્યંત મુશ્કેલ છે.