Michigan Compiled Laws, Chapter 700. Estates and Protected Individuals Code § 700.7613

(a) If the creditor exhausts the security before receiving payment, upon the claim amount allowed less the fair value of the security.

(b) If the creditor does not have the right to exhaust the security or does not do so, upon the claim amount allowed less the value of the security as determined by converting it into money according to the terms of the agreement under which the security is delivered to the creditor, or as determined by the creditor and trustee by agreement, arbitration, compromise, or litigation.