Skip to main content

Concept

The disposition of collateral by a secured creditor is an exercise in precision and procedural integrity. Within the architecture of secured transactions, governed by Article 9 of the Uniform Commercial Code (UCC), the requirement to conduct a commercially reasonable sale is the central protocol ensuring the fair valuation and liquidation of an asset post-default. This is the system’s primary safeguard against the arbitrary exercise of creditor power, a mechanism designed to balance the creditor’s right to repayment with the debtor’s residual interest in the collateral.

When this protocol is breached, the consequences are not merely administrative penalties; they represent a systemic breakdown with direct and material financial repercussions for the creditor. The failure to adhere to this standard introduces significant operational risk, transforming a routine collection action into a source of potential liability and capital loss.

At its core, the concept of a commercially reasonable sale is a mandate for the secured party to act in good faith and to take appropriate steps to maximize the proceeds from the disposition of the collateral. This standard applies to every aspect of the sale, including the method, manner, time, place, and all other terms. The UCC provides a flexible, principles-based framework rather than a rigid set of prescriptive rules.

This design acknowledges that the optimal strategy for liquidating one type of asset, such as publicly traded securities, will be fundamentally different from the strategy for liquidating specialized industrial equipment or a portfolio of accounts receivable. The system is designed to be adaptive, expecting the creditor to utilize the same diligence and prudence that a sensible owner would apply if they were selling their own property under similar circumstances.

The entire framework of commercial reasonableness is engineered to protect the debtor’s potential equity in the asset and to validate the final deficiency claim.

Understanding the consequences of failure begins with appreciating this foundational purpose. A debtor, despite being in default, retains a legal interest in the collateral. Specifically, the debtor is entitled to any surplus that remains after the secured debt and the costs of the sale are satisfied. Conversely, the debtor is liable for any deficiency if the sale proceeds are insufficient to cover the debt.

The commercial reasonableness requirement ensures the integrity of this calculation. A sale that fails to meet this standard corrupts the valuation process, potentially erasing a real surplus or inflating a deficiency. The resulting legal actions are the system’s corrective measures, designed to restore the financial positions of the parties to where they would have been had the protocol been followed correctly.

An intricate mechanical assembly reveals the market microstructure of an institutional-grade RFQ protocol engine. It visualizes high-fidelity execution for digital asset derivatives block trades, managing counterparty risk and multi-leg spread strategies within a liquidity pool, embodying a Prime RFQ

The Architectural Role of Reasonableness

From a systems perspective, commercial reasonableness functions as a critical control mechanism within the larger framework of debt enforcement. It prevents the moral hazard that would arise if creditors could dispose of assets for a nominal price, secure in the knowledge that they could pursue the debtor for the full remaining balance. Such a scenario would create perverse incentives, encouraging inefficient and value-destructive liquidations.

The UCC’s structure preempts this by linking the creditor’s right to a deficiency judgment directly to their adherence to the disposition protocol. This linkage forces the creditor to internalize the cost of a poorly executed sale, aligning their interests more closely with those of the debtor and other junior creditors who may have a claim on the collateral.

The elements of a commercially reasonable sale are multifaceted and context-dependent. They include, but are not limited to:

  • Adequate Notification ▴ The creditor must provide proper and timely notice of the sale to the debtor, any secondary obligors, and other secured parties who have an interest in the collateral. This notice provides these parties with the opportunity to observe the sale, bid on the asset, or find other potential buyers to protect their interests.
  • Appropriate Advertising ▴ The efforts to publicize the sale must be reasonably calculated to reach potential buyers who would be interested in that type of asset. A sale of specialized medical imaging equipment advertised only in a local newspaper of general circulation would likely be deemed insufficient. The advertising must be tailored to the relevant market.
  • Method of Sale ▴ The choice between a public auction and a private sale must be a reasoned one. A public sale may be appropriate for certain assets to generate competitive bidding, while a private, negotiated sale might yield a better price for a highly specialized asset where the pool of potential buyers is small and known.
  • Timing and Location ▴ The sale must be conducted at a time and place that is accessible and conducive to attracting bidders. Holding an auction for construction equipment in the middle of a blizzard or at a remote, hard-to-reach location would call the reasonableness of the disposition into question.

A failure in any of these operational steps can compromise the entire process. The system treats the sale as a holistic event, and a significant procedural flaw can be enough to render the outcome commercially unreasonable, triggering a cascade of corrective legal consequences.


Strategy

When a secured creditor’s asset disposition strategy fails the test of commercial reasonableness, the subsequent legal and financial strategies are governed by a well-defined set of remedial frameworks under the UCC. The core of the issue shifts from asset liquidation to damage control and legal defense. The consequences of a flawed sale are primarily channeled through two powerful mechanisms ▴ the potential elimination or reduction of the creditor’s deficiency claim and the debtor’s right to affirmative damages. A creditor’s strategic position is fundamentally altered, moving from a position of strength in collecting a debt to a defensive posture where its own conduct is under scrutiny.

The strategic landscape is dominated by the jurisdictional approach to handling deficiencies following a commercially unreasonable sale. States have generally adopted one of two primary models, each with profound implications for the creditor. Understanding which of these strategic models applies is the first and most critical step in assessing the financial fallout from a failed disposition protocol.

A sleek, dark reflective sphere is precisely intersected by two flat, light-toned blades, creating an intricate cross-sectional design. This visually represents institutional digital asset derivatives' market microstructure, where RFQ protocols enable high-fidelity execution and price discovery within dark liquidity pools, ensuring capital efficiency and managing counterparty risk via advanced Prime RFQ

Competing Remedial Frameworks

The two dominant legal theories are the “Absolute Bar” rule and the “Rebuttable Presumption” rule. These frameworks represent different philosophies on how to penalize a creditor’s non-compliance and remedy the potential harm to the debtor.

  1. The Absolute Bar Rule ▴ This is the most punitive framework for the secured creditor. Under this rule, if a court finds that the sale was commercially unreasonable in any significant respect, the creditor is completely barred from recovering any deficiency judgment. The law conclusively presumes that a proper sale would have yielded proceeds sufficient to satisfy the entire debt. This approach acts as a powerful deterrent, as any procedural misstep can result in the forfeiture of the right to collect the remaining debt, regardless of the actual value of the collateral.
  2. The Rebuttable Presumption Rule ▴ This is the more common approach and the one explicitly adopted in the revised UCC § 9-626. This framework creates a presumption that the value of the collateral was equal to the outstanding debt at the time of the sale. The burden of proof then shifts to the secured creditor to “rebut” this presumption. To recover a deficiency, the creditor must prove, with credible evidence, that the fair market value of the collateral was less than the amount of the debt, and that a commercially reasonable sale would have produced proceeds equal to that proven fair market value. The deficiency is then limited to the difference between the outstanding debt and the amount the creditor proves a reasonable sale would have generated.

The following table illustrates the strategic implications of these two frameworks:

Strategic Factor Absolute Bar Rule Rebuttable Presumption Rule
Primary Consequence Complete forfeiture of the deficiency claim. Reduction or elimination of the deficiency claim.
Burden of Proof Debtor must prove the sale was unreasonable. Once proven, the bar is automatic. Debtor proves unreasonableness; burden then shifts to the creditor to prove the collateral’s value.
Creditor’s Risk Catastrophic. A minor procedural error can wipe out a large deficiency. Substantial. Requires significant evidentiary effort (appraisals, expert testimony) to recover any deficiency.
Debtor’s Leverage Immense. Any credible claim of unreasonableness creates powerful settlement leverage. Significant. Forces the creditor into a costly evidentiary battle, creating leverage for negotiation.
A sophisticated metallic mechanism with integrated translucent teal pathways on a dark background. This abstract visualizes the intricate market microstructure of an institutional digital asset derivatives platform, specifically the RFQ engine facilitating private quotation and block trade execution

What Is the Creditor’s Burden under the Rebuttable Presumption Rule?

Under the rebuttable presumption framework, the creditor’s strategy must shift to a rigorous evidentiary presentation. The creditor cannot simply argue that the sale price, however low, was the best they could achieve. They must affirmatively prove what a hypothetical, commercially reasonable sale would have yielded. This requires a new set of tactics and evidence, including:

  • Expert Appraisals ▴ Obtaining and presenting credible, independent appraisals of the collateral’s value at the time of the sale.
  • Market Analysis ▴ Providing evidence of the prevailing market conditions for that type of asset, showing that even a perfect sale would have resulted in a low price.
  • Expert Testimony ▴ Engaging industry experts or professional auctioneers to testify about what a commercially reasonable sale process would have looked like and the likely range of proceeds it would have generated.

This process can be complex and expensive, often turning into a “battle of the experts.” The creditor’s failure to meet this evidentiary burden results in the presumption becoming conclusive, effectively leading to the same outcome as the absolute bar rule ▴ the deficiency is wiped out.

The rebuttable presumption rule transforms the dispute from a simple collection matter into a complex valuation proceeding where the creditor’s conduct is the central issue.
Robust institutional Prime RFQ core connects to a precise RFQ protocol engine. Multi-leg spread execution blades propel a digital asset derivative target, optimizing price discovery

Affirmative Damages as a Strategic Weapon

Beyond the impact on the deficiency, a debtor has the right to sue for affirmative damages under UCC § 9-625. This right exists independently of the deficiency calculation and represents a separate strategic threat to the non-compliant creditor. The primary claim is for damages caused by the loss of a surplus. If the debtor can prove that a commercially reasonable sale would have generated proceeds in excess of the debt, the creditor is liable for that lost surplus.

Furthermore, in the context of consumer goods transactions, the UCC provides a powerful statutory damages remedy. The debtor can recover an amount at least equal to the total finance charge plus 10% of the principal amount of the loan. This statutory minimum provides consumers with a meaningful remedy even when proving actual damages is difficult. It serves as a penalty for creditor misconduct in consumer lending and creates a significant financial risk for creditors who fail to follow disposition protocols for consumer assets.


Execution

The execution phase for a creditor facing allegations of a commercially unreasonable sale is a multi-stage process of risk mitigation, evidence gathering, and financial modeling. The abstract legal principles of the UCC must be translated into concrete actions designed to defend the creditor’s position and minimize financial loss. The operational playbook differs significantly depending on whether the governing jurisdiction follows the absolute bar or rebuttable presumption rule, but both demand a systematic and evidence-based response.

A sophisticated metallic mechanism with a central pivoting component and parallel structural elements, indicative of a precision engineered RFQ engine. Polished surfaces and visible fasteners suggest robust algorithmic trading infrastructure for high-fidelity execution and latency optimization

Executing a Defense under the Rebuttable Presumption Rule

The rebuttable presumption rule, as codified in UCC § 9-626, is the most common operational scenario. Here, the execution of a creditor’s defense is centered on overcoming the presumption that the collateral’s value equaled the debt. This is a quantitative and evidentiary challenge.

The following table models a hypothetical execution scenario where a creditor must prove the value of the collateral to recover a deficiency:

Financial Metric Creditor’s Initial Position Debtor’s Challenge Creditor’s Evidentiary Proof Final Judicial Determination
Outstanding Debt $500,000 $500,000 $500,000 $500,000
Collateral Type Specialized CNC Machine N/A N/A N/A
Actual Sale Proceeds $250,000 Sale deemed unreasonable (poor advertising) N/A $250,000
Initial Deficiency Claim $250,000 Presumed to be $0 N/A N/A
Independent Appraisal Value N/A N/A $400,000 Accepted as credible
Expert Auctioneer Testimony N/A N/A A reasonable sale would yield 90-95% of appraised value. Testimony accepted; court uses 90% figure.
Calculated “Reasonable” Proceeds N/A N/A $400,000 0.90 = $360,000 $360,000
Allowable Deficiency $250,000 $0 $500,000 – $360,000 = $140,000 $140,000
Loss to Creditor $0 $250,000 $250,000 – $140,000 = $110,000 $110,000

As the model demonstrates, the execution of the creditor’s strategy requires a substantial investment in building a case. The initial deficiency claim of $250,000 is reduced to $140,000, resulting in a direct financial loss of $110,000 for the creditor due to their failure to execute a commercially reasonable sale. This loss represents the penalty for the procedural failure.

A meticulously engineered mechanism showcases a blue and grey striped block, representing a structured digital asset derivative, precisely engaged by a metallic tool. This setup illustrates high-fidelity execution within a controlled RFQ environment, optimizing block trade settlement and managing counterparty risk through robust market microstructure

How Are Affirmative Damage Claims Executed?

The execution of a debtor’s claim for affirmative damages under UCC § 9-625 runs parallel to the deficiency dispute. The debtor must prove that they suffered a loss caused by the creditor’s non-compliance. This can manifest in several ways.

A robust, dark metallic platform, indicative of an institutional-grade execution management system. Its precise, machined components suggest high-fidelity execution for digital asset derivatives via RFQ protocols

Execution of a Lost Surplus Claim

If a debtor believes a proper sale would have resulted in a surplus, they can initiate legal action to recover it. The execution of this claim involves:

  1. Filing a Complaint ▴ The debtor files a suit alleging a breach of the UCC § 9-610 requirement for a commercially reasonable sale.
  2. Proving Unreasonableness ▴ The debtor presents evidence of the creditor’s procedural failures (e.g. inadequate notice, flawed advertising, self-dealing).
  3. Establishing Value ▴ The debtor, much like the creditor in the deficiency context, must present evidence of the collateral’s true market value. They might use their own appraisers and experts to show that a reasonable sale would have generated proceeds exceeding the debt.
  4. Calculating Damages ▴ The damages are calculated as the amount the reasonable sale would have generated, minus the outstanding debt and the reasonable costs of sale. For example, if the debt was $100,000 and the debtor proves a reasonable sale would have brought $150,000, they can sue to recover the $50,000 lost surplus.
Four sleek, rounded, modular components stack, symbolizing a multi-layered institutional digital asset derivatives trading system. Each unit represents a critical Prime RFQ layer, facilitating high-fidelity execution, aggregated inquiry, and sophisticated market microstructure for optimal price discovery via RFQ protocols

Execution of Statutory Damages Claims

In consumer transactions, the execution is more straightforward. The debtor needs to prove two things ▴ (1) the transaction involved consumer goods, and (2) the creditor failed to comply with the disposition rules of Part 6 of Article 9. Once these are established, the statutory penalty is applied. The debtor is entitled to damages of “the credit service charge plus 10% of the principal amount of the obligation.” This provides a clear, executable remedy that does not require complex valuation battles, making it a potent tool for consumer debtors.

The execution of these remedies demonstrates that a commercially unreasonable sale is not a singular event but the initiation of a new set of legal and financial processes governed by their own rigorous protocols.

Beyond these primary consequences, a creditor’s failure can have cascading effects. The creditor may be liable for attorneys’ fees if the underlying credit agreement provides for them. The reputational damage from a judicial finding of unreasonable conduct can also be significant.

For institutional creditors, a pattern of such failures could attract regulatory scrutiny. The execution of a proper asset disposition is therefore a critical component of a creditor’s overall operational risk management framework.

Precision-engineered institutional-grade Prime RFQ modules connect via intricate hardware, embodying robust RFQ protocols for digital asset derivatives. This underlying market microstructure enables high-fidelity execution and atomic settlement, optimizing capital efficiency

References

  • White, James J. and Robert S. Summers. Uniform Commercial Code. 6th ed. West Academic Publishing, 2010.
  • Clark, Barkley, and Barbara Clark. The Law of Secured Transactions Under the Uniform Commercial Code. A.S. Pratt & Sons, 2023.
  • Baird, Douglas G. “The Importance of Cases.” Journal of Legal Education, vol. 63, no. 2, 2013, pp. 326-337.
  • Official Text of Uniform Commercial Code § 9-610. American Law Institute and National Conference of Commissioners on Uniform State Laws.
  • Official Text of Uniform Commercial Code § 9-625. American Law Institute and National Conference of Commissioners on Uniform State Laws.
  • Official Text of Uniform Commercial Code § 9-626. American Law Institute and National Conference of Commissioners on Uniform State Laws.
  • Benfield, Marion W. “Consumer Protection in the Nineties ▴ A Survey of Recent Developments in Consumer Law.” Consumer Finance Law Quarterly Report, vol. 46, 1992, pp. 236-245.
  • LoPucki, Lynn M. “The Unsecured Creditor’s Bargain.” Virginia Law Review, vol. 80, no. 8, 1994, pp. 1887-1987.
A golden rod, symbolizing RFQ initiation, converges with a teal crystalline matching engine atop a liquidity pool sphere. This illustrates high-fidelity execution within market microstructure, facilitating price discovery for multi-leg spread strategies on a Prime RFQ

Reflection

The architecture of UCC Article 9 reveals a profound understanding of market dynamics and counterparty risk. The protocols governing the disposition of collateral are a testament to this design, creating a system where procedural integrity is inextricably linked to financial outcomes. A secured creditor’s operational framework must internalize this reality. The requirement for a commercially reasonable sale should be viewed as a core component of the risk management lifecycle, equivalent in importance to the initial credit underwriting or the perfection of the security interest.

Consider your own institution’s protocols for asset liquidation. Are they treated as a perfunctory, back-office legal function, or as a dynamic, value-sensitive process? Does the system possess the flexibility to tailor its execution strategy to the specific asset and market, or does it rely on a one-size-fits-all checklist? The difference between these two approaches is the difference between maximizing recovery and inadvertently engineering a significant financial loss.

A complex, intersecting arrangement of sleek, multi-colored blades illustrates institutional-grade digital asset derivatives trading. This visual metaphor represents a sophisticated Prime RFQ facilitating RFQ protocols, aggregating dark liquidity, and enabling high-fidelity execution for multi-leg spreads, optimizing capital efficiency and mitigating counterparty risk

What Does Your Liquidation Protocol Optimize For?

A truly robust operational framework optimizes for total value realization, which includes the preservation of the right to a full deficiency. This requires a system that not only documents its actions but also documents the reasoning behind them. Why was a private sale chosen over a public auction? How was the advertising strategy designed to reach the most probable bidders?

How was the timing of the sale selected to align with market demand? Answering these questions preemptively builds the evidentiary record necessary to defend against a challenge. The knowledge gained from understanding these consequences is a critical input into the design of a superior operational system, one that transforms a legal requirement into a strategic advantage.

A Principal's RFQ engine core unit, featuring distinct algorithmic matching probes for high-fidelity execution and liquidity aggregation. This price discovery mechanism leverages private quotation pathways, optimizing crypto derivatives OS operations for atomic settlement within its systemic architecture

Glossary

Angular dark planes frame luminous turquoise pathways converging centrally. This visualizes institutional digital asset derivatives market microstructure, highlighting RFQ protocols for private quotation and high-fidelity execution

Commercially Reasonable Sale

Meaning ▴ A Commercially Reasonable Sale refers to the legal and practical obligation to dispose of assets, typically collateral in a secured transaction or assets within a bankruptcy estate, in a manner designed to obtain the highest achievable price under prevailing market conditions.
A precise mechanism interacts with a reflective platter, symbolizing high-fidelity execution for institutional digital asset derivatives. It depicts advanced RFQ protocols, optimizing dark pool liquidity, managing market microstructure, and ensuring best execution

Uniform Commercial Code

Meaning ▴ The Uniform Commercial Code (UCC) is a comprehensive set of laws governing commercial transactions across the United States, standardizing sales, leases, negotiable instruments, and secured transactions.
A precision-engineered metallic component with a central circular mechanism, secured by fasteners, embodies a Prime RFQ engine. It drives institutional liquidity and high-fidelity execution for digital asset derivatives, facilitating atomic settlement of block trades and private quotation within market microstructure

Commercially Reasonable

Meaning ▴ "Commercially Reasonable" is a legal and business standard requiring parties to a contract to act in a practical, prudent, and sensible manner, consistent with prevailing industry practices and good faith.
The image depicts two interconnected modular systems, one ivory and one teal, symbolizing robust institutional grade infrastructure for digital asset derivatives. Glowing internal components represent algorithmic trading engines and intelligence layers facilitating RFQ protocols for high-fidelity execution and atomic settlement of multi-leg spreads

Commercial Reasonableness

Meaning ▴ Commercial Reasonableness, in the context of crypto institutional options trading and RFQ systems, signifies the objective standard by which the terms, conditions, and pricing of a transaction are evaluated for their alignment with prevailing market practices, economic rationality, and prudent business judgment among sophisticated participants.
Precision metallic mechanism with a central translucent sphere, embodying institutional RFQ protocols for digital asset derivatives. This core represents high-fidelity execution within a Prime RFQ, optimizing price discovery and liquidity aggregation for block trades, ensuring capital efficiency and atomic settlement

Deficiency Judgment

Meaning ▴ A Deficiency Judgment is a court order that holds a borrower personally accountable for the outstanding balance of a debt after the collateral securing that debt has been liquidated, and the proceeds were insufficient to cover the full obligation.
A sophisticated metallic instrument, a precision gauge, indicates a calibrated reading, essential for RFQ protocol execution. Its intricate scales symbolize price discovery and high-fidelity execution for institutional digital asset derivatives

Commercially Unreasonable

Meaning ▴ In crypto financial contexts, 'commercially unreasonable' defines actions, terms, or outcomes within a transaction that significantly deviate from accepted market norms or prudent business practices, imposing undue burden or disadvantage on one party.
Abstract geometric forms converge at a central point, symbolizing institutional digital asset derivatives trading. This depicts RFQ protocol aggregation and price discovery across diverse liquidity pools, ensuring high-fidelity execution

Deficiency Claim

Meaning ▴ A Deficiency Claim refers to a creditor's right to pursue payment for the remaining balance of a debt after the collateral securing that debt has been liquidated and its proceeds applied.
A centralized intelligence layer for institutional digital asset derivatives, visually connected by translucent RFQ protocols. This Prime RFQ facilitates high-fidelity execution and private quotation for block trades, optimizing liquidity aggregation and price discovery

Secured Creditor

Meaning ▴ A Secured Creditor is a lender whose debt is backed by specific collateral, granting them a legal claim to those assets in the event of borrower default.
Abstract intersecting geometric forms, deep blue and light beige, represent advanced RFQ protocols for institutional digital asset derivatives. These forms signify multi-leg execution strategies, principal liquidity aggregation, and high-fidelity algorithmic pricing against a textured global market sphere, reflecting robust market microstructure and intelligence layer

Commercially Unreasonable Sale

Meaning ▴ A commercially unreasonable sale refers to a transaction where an asset is disposed of under conditions that deviate substantially from ordinary market practices, resulting in a significantly lower realization price than would be obtained under customary circumstances.
Sleek metallic structures with glowing apertures symbolize institutional RFQ protocols. These represent high-fidelity execution and price discovery across aggregated liquidity pools

Rebuttable Presumption

Meaning ▴ Rebuttable Presumption, in a legal or regulatory context relevant to crypto, refers to an assumption that a certain fact or legal conclusion is true unless proven otherwise by presenting sufficient contrary evidence.
Metallic, reflective components depict high-fidelity execution within market microstructure. A central circular element symbolizes an institutional digital asset derivative, like a Bitcoin option, processed via RFQ protocol

Absolute Bar Rule

Meaning ▴ The Absolute Bar Rule, in financial systems, establishes an unequivocal prohibition against specific actions or claims once certain conditions are met, thereby enforcing finality.
A multi-faceted geometric object with varied reflective surfaces rests on a dark, curved base. It embodies complex RFQ protocols and deep liquidity pool dynamics, representing advanced market microstructure for precise price discovery and high-fidelity execution of institutional digital asset derivatives, optimizing capital efficiency

Rebuttable Presumption Rule

Meaning ▴ A Rebuttable Presumption Rule is a legal principle where a fact is assumed to be true unless and until it is disproved by evidence to the contrary.
Precision-engineered, stacked components embody a Principal OS for institutional digital asset derivatives. This multi-layered structure visually represents market microstructure elements within RFQ protocols, ensuring high-fidelity execution and liquidity aggregation

Lost Surplus

Meaning ▴ Lost Surplus, in an economic context, represents the reduction in total economic welfare or value that occurs due to market inefficiencies, suboptimal resource allocation, or restrictive practices.
Intricate internal machinery reveals a high-fidelity execution engine for institutional digital asset derivatives. Precision components, including a multi-leg spread mechanism and data flow conduits, symbolize a sophisticated RFQ protocol facilitating atomic settlement and robust price discovery within a principal's Prime RFQ

Statutory Damages

Meaning ▴ Statutory Damages refer to a monetary award specified by law for certain legal violations, where actual harm may be difficult to quantify, or where the law aims to deter specific conduct.
A sophisticated system's core component, representing an Execution Management System, drives a precise, luminous RFQ protocol beam. This beam navigates between balanced spheres symbolizing counterparties and intricate market microstructure, facilitating institutional digital asset derivatives trading, optimizing price discovery, and ensuring high-fidelity execution within a prime brokerage framework

Ucc Article 9

Meaning ▴ UCC Article 9 refers to Article 9 of the Uniform Commercial Code, which governs secured transactions involving personal property in the United States.