mnli premise: When the foreclosed property is sold, any difference between the sales proceeds and the book value (i.e. hypothesis: A foreclosed property can be sold if a buyer is available on the market.