From these module the following arguments about factors of the case can be made:

1. ✓Both parties made a mutual mistake in believing that oil spills are mapped daily since:
   

2. • BO ⊢cr DailyOillSpillMap  and BE ⊢cr DailyOillSpillMap
   

3. • CK ∪ {DayWithoutImage} ⊢sk ¬ DailyOillSpillMap.
   

4. • CK ⊢sk Hold(DailyOillSpillMap,E)
   

5. ✓The mistake violates a basic assumption of the contract since:
   

6. •CK ∪ {DayWithoutImage} ⊢sk ¬ DailyCompositeMap
   

7. ✓ CZD bears the risk of the mistake since BE ⊢cr  ¬ DailyOillSpillMap
   

Let MMIS be a module representing the doctrine of mutual mistake. It is easy to check  that it is not the case that MMIS ⊢sk Rescind(CZD,  contract). Thus CZD could not rescind from performing the contract on the grounds of mutual mistake doctrine.

<Back>