> For the complete documentation index, see [llms.txt](https://propichain.gitbook.io/propichain/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://propichain.gitbook.io/propichain/blockchain-integration/conditional-logic.md).

# Conditional Logic

A key strength of PropiChain’s smart contracts is their ability to incorporate conditional logic, ensuring that transactions only occur when specific criteria are met. This means that a real estate transaction will only proceed if all predefined conditions—such as the verification of funds, successful completion of due diligence, or a satisfactory home inspection—are fulfilled.

This feature adds an extra layer of security and trust, as it guarantees that all parties adhere to the agreed-upon terms before the transaction is finalized. For instance, in a real estate purchase, the contract might be programmed to transfer ownership and funds only after the buyer confirms that the property inspection meets their satisfaction.