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