What if the parties reached an agreement but the writing that supposedly records it is wrong? That's where contract reformation comes in.