This is an unofficial version of a Massachusetts General Law.
Section 3-809
Payment of a secured claim is upon the basis of the amount allowed if the creditor surrenders his security; otherwise payment is upon the basis of 1 of the following:
(1) if the creditor exhausts his security before receiving payment, unless precluded by other law, upon the amount of the claim allowed less the fair value of the security; or
(2) if the creditor does not have the right to exhaust his security or has not done so, upon the amount of the claim allowed less the value of the security determined by converting it into money according to the terms of the agreement pursuant to which the security was delivered to the creditor, or by the creditor and personal representative by agreement, arbitration, compromise or litigation.