In the conditional uses of in and idha, the core is the attachment of the response's occurrence to the occurrence of a condition. Their intended time is not determined by past or imperfect morphology alone; context and rhetorical purpose are decisive.
When a past form presents a future event, distinguish strong causes, optimism and desire. Likewise, a condition does not always imply the opposite ruling when unfulfilled, and laʾin ashrakta poses a hypothesis rather than asserting shirk occurred. Allusion depends on the full utterance.
The next portion gives law sustained attention, including past-oriented conditions, nonoccurrence, entailment and related disagreements. It therefore belongs in the following level.