«أَنْتَ حُرٌّ إِنْ دَخَلْتَ الدَّارَ»
“You are free if you enter the house.”
A conditional formula connects a legal effect to a future event. Its grammatical structure includes a consequence and a condition, which are meant to operate together.
“You are free” stated on its own would convey an immediate legal declaration. Adding “if you enter the house” suspends its effect upon entry. In this use, in is not merely a temporal marker; it establishes a condition for operation.
The central juristic issue is not whether the condition currently exists, but whether the legal effect exists before the condition is fulfilled.