Yeah, they borrowed the $30k all right, but unlike the rest of the purchase price, this portion of the loan is not justified by the value of the home. The lender doesn’t realize what the true sales price was, and they’ve overencumbered the property as a result of that ignorance. It’s as if they issued an unsecured $30,000 credit card, except they don’t realize they’ve done it.