En pratique, on préfère engendrer des instances qui vont pouvoir interagir avec d'autres parties de la formule pour conduire à une contradiction.
Ya na da kyau a hau teburin tattaunawa da bangarorin da ke rikici da juna don fidda hanyoyin warware rikicin.