En korrekt, total funksjon, endrer den siste regelen til: hvor , og er forskjellige, og .