How does faa function in “إن دخلت الدار فأنت طالق”?

Legal Implications of Waaw, Faa and Thumma

• Unconditional conjunction of two reports
• It links condition and consequence
• Making the first clause the cause of the second
• Postponing the condition until after the result