Premise: He surely does not make a calculation--doesn't mark her to market.

Hypothesis: He calculated that and marked her to market.  
Relation: contradiction