He surely does not make a calculation--doesn't mark her to market.
He calculated that and marked her to market.  
mnli hypothesis: He calculated that and marked her to market.   premise: He surely does not make a calculation--doesn't mark her to market.