The rule is: when (1) both parties enter a contract under a mutually mistaken assumption that is (2) basic to the contract, (3) the contract is voidable by the party adversely affected by the mistake, unless (4) that party ought to bear risk of the mistake.